7.6 Reified Propagators

reified.isIn

{FS.reified.isIn +*M $D}

\codeinline{oz}{D} \in \{0,1\} \wedge ((\codeinline{oz}{I} \in \codeinline{oz}{M}) \leftrightarrow
\codeinline{oz}{D} = 1)

reified.areIn

{FS.reified.areIn +Is *M $Ds}

Is and Ds are lists of the same length such that every element {\tt D}_i of Ds reifies the presence of the corresponding element {\tt I}_i of Is in the set M.

reified.include

{FS.reified.include +D1 *S $D2}

D2 reifies the presence of D1 in the set S.

reified.equal

{FS.reified.equal *S1 *S2 $D}

D reifies the equality of S1 and S2.


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