131 ::post(home,
z, tmp, emptyset)));
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 the greatest lower bound.
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
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
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.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Post propagator for SetVar SetOpType SetVar y
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Post propagator for SetVar x
Post propagator for SetVar SetOpType op