Home class for posting propagators
Range iterator for integer sets.
static const IntSet empty
Empty set.
Exception: Unknown relation passed as argument
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
Set view for set variables
ModEvent excludeI(Space &home, I &i)
Remove range sequence described by i from least upper bound.
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
#define GECODE_ME_FAIL(me)
Check whether modification event me 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 ( )
const int min
Smallest allowed integer value.
const int max
Largest allowed integer value.
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
void dom(Home home, FloatVar x, FloatVal n)
Propagates .
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