Node * x
Pointer to corresponding Boolean expression node.
Home class for posting propagators
Reification specification.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
IntRelType
Relation types for integers.
IntRelType swap(IntRelType irt)
Return swapped relation type of irt.