67 ::
post(home,cy,x,z)));
80 ::
post(home,cy,x,tmp)));
97 ::
post(home,cy,x,tmp)));
108 ::
post(home,cy,x,z)));
127 ::
post(home,cy,xv,tmp)));
135 ::
post(home, z, tmp, emptyset)));
144 ::
post(home,cy,x,tmp)));
161 rel(home, y, op, x, r, z);
Range iterator for greatest lower bound of constant set view
Propagator for negated equality
void check(int n, const char *l)
Check whether integer n is in range, otherwise throw overflow exception with information l...
SetRelType
Common relation types for sets.
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
const int min
Smallest allowed integer in integer set.
Propagator for ternary union
Propagator for the subset constraint
SetOpType
Common operations for sets.
const int max
Largest allowed integer in integer set.
Exception: Unknown relation passed as argument
A complement iterator spezialized for the BndSet limits.
static const IntSet empty
Empty set.
Standard set operation propagators.
Set view for set variables
Node * x
Pointer to corresponding Boolean expression node.
Standard set relation propagators.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Propagator for the superset of intersection
Gecode toplevel namespace
Constant view for the empty set.
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
Propagator for ternary intersection