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 gif, and the four arithmetic operators +, -, , and , and R is one of the following relation symbols: =, , >=, >, <=, <.              


Neng-Fa ZHOU
Sat Apr 18 16:14:29 JST 1998