Boolean integer variables.
Reification specification.
BoolVar x
The Boolean control variable.
BoolVar var(void) const
Return Boolean control variable.
Reify(void)
Default constructor without proper initialization.
ReifyMode mode(void) const
Return reification mode.
ReifyMode rm
The reification mode.
Reify imp(BoolVar x)
Use implication for reification.
Reify eqv(BoolVar x)
Use equivalence for reification.
ReifyMode
Mode for reification.
Reify pmi(BoolVar x)
Use reverse implication for reification.
@ RM_IMP
Implication for reification.
@ RM_PMI
Inverse implication for reification.
@ RM_EQV
Equivalence for reification (default)
Gecode toplevel namespace
Post propagator for SetVar x