5.6 Watching Domains

watch.min

{FD.watch.min *D1 +D2 ?B}

Returns true when {\tt D1} \in \{{\tt D2}+1,\ldots,\codeinline{oz}{FD.sup}\} and false when {\tt D1}\in \{0,\ldots,{\tt D2}\} is entailed by the constraint store.

watch.max

{FD.watch.max *D1 +D2 ?B}

Returns true when {\tt D1} \in \{0,\ldots, {\tt D2}-1\} and false when {\tt D1} \in \{D2,\ldots,\codeinline{oz}{FD.sup}\} is entailed by the constraint store.

watch.size

{FD.watch.size *D1 +D2 ?B}

Returns true when the size of the domain of D1 becomes smaller than D2.


Denys Duchier, Leif Kornstaedt, Tobias Müller, Christian Schulte and Peter Van Roy
Version 1.0.1 (19990218)