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 {
}. The type of
A
and that of
D
must be the same.
Neng-Fa ZHOU
Sat Apr 18 16:14:29 JST 1998
}. The type of A and that of D must be the same.