53 if (x.
size()==0)
return;
72 if (x.
size()==0)
return;
bool failed(void) const
Check whether corresponding space is failed.
Bounds consistent sortedness propagator.
IntConLevel
Consistency levels for integer propagators.
int size(void) const
Return size of array (number of elements)
Passing integer variables.
void sorted(Home home, const IntVarArgs &x, const IntVarArgs &y, const IntVarArgs &z, IntConLevel)
Post propagator that y is x sorted in increasing order.
Node * x
Pointer to corresponding Boolean expression node.
Exception: Arguments contain same variable multiply
Gecode toplevel namespace
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.
bool same(const Space &home) const
Test whether array contains same variable multiply.