42 using namespace Gecode::Set;
43 using namespace Gecode::Set::Rel;
44 using namespace Gecode::Set::RelOp;
Home class for posting propagators
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
SetOpType
Common operations for sets.
SetRelType
Common relation types for sets.
void check(int n, const char *l)
Check whether integer n is in range, otherwise throw overflow exception with information l.
void post_compl(Home home, ConstSetView x, SetOpType op, SetView y, ConstSetView z)
void post_nocompl(Home home, ConstSetView x, SetOpType op, SetView y, SetRelType r, ConstSetView z)
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
Post propagator for SetVar x
Post propagator for SetVar SetOpType op