55 for (
int i=
x.size();
i--;)
58 for (
int i=
y.size();
i--;)
76 for (
int i=
x.size();
i--;)
79 for (
int i=
y.size();
i--;)
Node * x
Pointer to corresponding Boolean expression node.
Passing Boolean variables.
Home class for posting propagators
Passing integer variables.
Propagator for channelling between set variable and its characteristic function
Propagator for channelling between variable-value-dual models
Propagator for successors/predecessors channelling
Propagator for the sorted channel constraint
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
void channelSorted(Home home, const IntVarArgs &x, SetVar y)
Post propagator for SetVar SetOpType SetVar y
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
#define GECODE_POST
Check for failure in a constraint post function.
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
Gecode::IntArgs i({1, 2, 3, 4})