next up previous contents index
Next: Arithmetic constraints Up: Constraints Previous: Introduction

Domain constraints

Domain constraints take the form of:
       A in D
where A is an attribute variable and D specifies a domain which is either an integer interval l..u or a list of values of some type in the form { $a_1,a_2,\ldots,a_n$}. The type of A and that of D must be the same.  



Neng-Fa Zhou
1999-02-16