Post propagator for SetVar SetOpType op
SetRelType
Common relation types for sets.
void post_nocompl(Home home, ConstSetView x, SetOpType op, SetView y, SetRelType r, ConstSetView z)
SetOpType
Common operations for sets.
Post propagator for SetVar SetOpType SetVar SetRelType SetVar z
Standard set operation propagators.
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for SetVar SetOpType SetVar y
Standard set relation propagators.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Post propagator for SetVar x
Gecode toplevel namespace
void post_compl(Home home, ConstSetView x, SetOpType op, SetView y, ConstSetView z)
#define GECODE_POST
Check for failure in a constraint post function.
Home class for posting propagators