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