Constraints

Primitive Constraint: constraint relation with arguments

Constraint: conjunction of primitive constraints

Previous slide

Next slide

Back to first slide

View graphic version