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.