next up previous contents index
Next: Symbolic constraints Up: Constraints Previous: Domain constraints

Arithmetic constraints

Arithmetic constraints take the form of:
       expression R expression
where expression is a linear expression made up of integer constants, integer attribute variables, the sum, minimum and maximum function 4.1, and the four arithmetic operators +, -, *, and /, and R is one of the following relation symbols: =, !=, >=, >, <=, <.              



Neng-Fa Zhou
1999-02-16