41namespace Gecode {
namespace Set {
43 template<
class View0,
class View1>
46 using namespace Set::Rel;
47 using namespace Set::RelOp;
66 ::post(home, x0, x1, emptyset)));
93 template<
class View0,
class View1, ReifyMode rm>
96 using namespace Set::Rel;
97 using namespace Set::RelOp;
246 rel(home, s, rt,
x,
r);
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
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
Propagator for negated equality
Propagator for set equality
Propagator for set less than or equal
Reified equality propagator
Reified propagator for set less than or equal
Reified subset propagator
Propagator for the subset constraint
#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 ( )
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