Next: Propositional Constraints, Previous: Arithmetic Constraints, Up: Available Constraints [Contents][Index]
domain(+Variables, +Min, +Max)
where Variables is a list of domain variables, Min is an
integer or the atom inf
(minus infinity), and Max is an
integer or the atom sup
(plus infinity). True if the variables
all are elements of the range Min..Max
.
?X in +Range reifiable
where X is a domain variable and Range is a ConstantRange (see Syntax of Indexicals). True if X is an element of the range.
?X in_set +FDSet reifiable
where X is a domain variable and FDSet is an FD set (see FD Set Operations). True if X is an element of the FD set.
in/2
and in_set/2
constraints maintain domain consistency
and their reified versions detect domain entailment and disentailment.