57 ::
post(home,s,xsingle)));
69 ::
post(home,xsingle,sv)));
Inverse implication for reification.
ReifyMode mode(void) const
Return reification mode.
Propagator for not maximum element
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
unsigned int cardMin(void) const
Return minimum cardinality.
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 .
BoolVar var(void) const
Return Boolean control variable.
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.
#define GECODE_POST
Check for failure in a constraint post function.
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
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Equivalence for reification (default)