69 ::
post(home,cy,
x,zv)));
82 ::
post(home,cy,
x,tmp)));
91 ::
post(home,tmp,zv)));
99 ::
post(home,cy,
x,tmp)));
110 ::
post(home,cy,
x,zv)));
128 ::
post(home,cy,xv,tmp)));
145 ::
post(home,cy,
x,tmp)));
Post propagator for SetVar SetOpType op
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.
const int min
Smallest allowed integer in integer set.
Range iterator for integer sets.
Propagator for ternary union
void dom(Home home, FloatVar x, FloatVal n)
Propagates .
SetOpType
Common operations for sets.
ModEvent excludeI(Space &home, I &i)
Remove range sequence described by i from least upper bound.
const int max
Largest allowed integer in integer set.
Exception: Unknown relation passed as argument
A complement iterator spezialized for the BndSet limits.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
static const IntSet empty
Empty set.
Standard set operation propagators.
Post propagator for SetVar SetOpType SetVar SetRelType r
Set view for set variables
Post propagator for SetVar SetOpType SetVar y
Standard set relation propagators.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Propagator for the superset of intersection
Post propagator for SetVar x
#define GECODE_ME_FAIL(me)
Check whether modification event me is failed, and fail space home.
Gecode toplevel namespace
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Propagator for ternary intersection