42 if ((
x.size() !=
y.size()) || (
x.size() !=
z.size()))
49 if (
x.size()==0)
return;
61 if (
x.size() !=
y.size())
68 if (
x.size()==0)
return;
Home class for posting propagators
Passing integer variables.
Exception: Arguments contain same variable multiply
Exception: Arguments are of different size
static ExecStatus post(Home home, ViewArray< View > &x, ViewArray< View > &y, ViewArray< View > &z)
Post propagator for views x, y, and z.
#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.
IntPropLevel
Propagation levels for integer propagators.
Gecode toplevel namespace
void sorted(Home home, const IntVarArgs &x, const IntVarArgs &y, IntPropLevel ipl=IPL_DEF)
Post propagator that y is x sorted in increasing order.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
bool same(VarArgArray< Var > x, VarArgArray< Var > y)
Post propagator for SetVar SetOpType SetVar y
Post propagator for SetVar x