49 if (x.
size()==0)
return;
68 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.
int size(void) const
Return size of array (number of elements)
bool same(void) const
Test whether array contains same variable multiply.
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
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.