46 if ((
x.size() !=
y.size()) || (
x.size() !=
z.size()))
53 if (
x.size()==0)
return;
65 if (
x.size() !=
y.size())
72 if (
x.size()==0)
return;
Bounds consistent sortedness propagator.
void sorted(Home home, const IntVarArgs &x, const IntVarArgs &y, const IntVarArgs &z, IntPropLevel)
Post propagator that y is x sorted in increasing order.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Passing integer variables.
IntPropLevel
Propagation levels for integer propagators.
Post propagator for SetVar SetOpType SetVar y
bool same(const VarImpVar< VarImp > &y) const
Test whether variable is the same as y.
Exception: Arguments contain same variable multiply
Post propagator for SetVar x
Gecode toplevel namespace
#define GECODE_POST
Check for failure in a constraint post function.
Home class for posting propagators
Exception: Arguments are of different size
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.