43 template<
class View0,
class View1>
66 ::post(home, x0, x1, emptyset)));
93 template<
class View0,
class View1, ReifyMode rm>
246 rel(home, s, rt,
x,
r);
Boolean integer variables.
Home class for posting propagators
Boolean view for Boolean variables.
Integer view for integer variables.
Exception: Unknown reification mode passed as argument
Exception: Unknown relation passed as argument
Reification specification.
Constant view for the empty set.
Propagator for the superset of intersection
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .
Propagator for set equality
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .
Reified equality propagator
static ExecStatus post(Home home, View0 x, View1 y, Gecode::Int::BoolView b)
Post propagator for .
Reified subset propagator
static ExecStatus post(Home home, View0 x, View1 y, CtrlView b)
Post propagator for .
static ExecStatus post(Home home, View0 x, View1 y)
Post propagator .
#define GECODE_POST
Check for failure in a constraint post function.
#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 .
@ RM_IMP
Implication for reification.
@ RM_PMI
Inverse implication for reification.
@ RM_EQV
Equivalence for reification (default)
SetRelType
Common relation types for sets.
@ SRT_GQ
Greater or equal ( )
@ SRT_LQ
Less or equal ( )
Simple relation propagators.
Standard set operation propagators.
void rel_post(Home home, View0 x0, SetRelType r, View1 x1)
void rel_re(Home home, View0 x, SetRelType r, View1 y, BoolVar b)
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
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