57 ::
post(home,s,xsingle)));
69 ::
post(home,xsingle,sv)));
122 if (home.
failed())
return;
127 if (home.
failed())
return;
132 if (home.
failed())
return;
151 if (home.
failed())
return;
156 if (home.
failed())
return;
161 if (home.
failed())
return;
181 if (home.
failed())
return;
bool failed(void) const
Check whether corresponding space is failed.
unsigned int cardMin(void) const
Return minimum cardinality.
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.
Propagator for not maximum element
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
const int max
Largest allowed integer value.
const int min
Smallest allowed integer value.
Propagator for reified minimum element
Exception: Unknown relation passed as argument
Propagator for not minimum element
IntRelType
Relation types for integers.
Reification specification.
void notMax(Home home, SetVar s, IntVar x)
Post propagator that propagates that x is not the maximal element of s.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Set view for set variables
Propagator for maximum element
Integer view for integer variables.
Node * x
Pointer to corresponding Boolean expression node.
Reified propagator for maximum element
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
void weights(Home home, IntSharedArray elements, IntSharedArray weights, SetVar x, IntVar y)
Post propagator for .
Propagator for set equality
Propagator for the negated subset constraint
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
Propagator for weight of a set
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 notMin(Home home, SetVar s, IntVar x)
Post propagator that propagates that x is not the minimal element of s.
Propagator for minimum element
Equivalence for reification (default)