bool failed(void) const
Check whether corresponding space is failed.
Reified membership propagator.
IntConLevel
Consistency levels for integer propagators.
Inverse implication for reification.
ReifyMode mode(void) const
Return reification mode.
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
BoolVar var(void) const
Return Boolean control variable.
Reification specification.
Passing integer variables.
Passing Boolean variables.
Boolean integer variables.
Node * x
Pointer to corresponding Boolean expression node.
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)