Next: Arithmetic constraints
Up: Constraints
Previous: Introduction
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 {
}. The type of A and that of D must be the same.
Neng-Fa Zhou
1999-02-16