Reified membership propagator.
IntConLevel
Consistency levels for integer propagators.
Inverse implication for reification.
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
ReifyMode mode(void) const
Return reification mode.
bool failed(void) const
Check whether corresponding space is failed.
Reification specification.
Passing integer variables.
Passing Boolean variables.
Boolean integer variables.
Node * x
Pointer to corresponding Boolean expression node.
BoolVar var(void) const
Return Boolean control variable.
Exception: Unknown reification mode passed as argument
Gecode toplevel namespace
Implication for reification.
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
void member(Home home, const IntVarArgs &x, IntVar y, IntConLevel)
Post domain consistent propagator for .
Equivalence for reification (default)