Inverse implication for reification.
ReifyMode mode(void) const
Return reification mode.
BoolVar var(void) const
Return Boolean control variable.
Reify(void)
Default constructor without proper initialization.
Reify imp(BoolVar x)
Use implication for reification.
Reification specification.
Reify eqv(BoolVar x)
Use equivalence for reification.
Boolean integer variables.
Node * x
Pointer to corresponding Boolean expression node.
Gecode toplevel namespace
Implication for reification.
BoolVar x
The Boolean control variable.
ReifyMode
Mode for reification.
ReifyMode rm
The reification mode.
Equivalence for reification (default)
Reify pmi(BoolVar x)
Use reverse implication for reification.