41 namespace 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)));
73 ::
post(home, cx0, x1)));
93 template<
class View0,
class View1, ReifyMode rm>
96 using namespace Set::Rel;
97 using namespace Set::RelOp;
173 rel_post<SetView,SetView>(home,
x,
r,
y);
181 rel_post<SetView,SingletonView>(home,s,
r,xv);
204 rel_re<SetView,SetView,RM_EQV>(home,
x,rt,
y,
r.var());
207 rel_re<SetView,SetView,RM_IMP>(home,
x,rt,
y,
r.var());
210 rel_re<SetView,SetView,RM_PMI>(home,
x,rt,
y,
r.var());
223 rel_re<SetView,SingletonView,RM_EQV>(home,s,rt,xsingle,
r.var());
226 rel_re<SetView,SingletonView,RM_IMP>(home,s,rt,xsingle,
r.var());
229 rel_re<SetView,SingletonView,RM_PMI>(home,s,rt,xsingle,
r.var());
246 rel(home, s, rt,
x,
r);
struct Gecode::@602::NNF::@65::@66 b
For binary nodes (and, or, eqv)
Node * x
Pointer to corresponding Boolean expression node.
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
Post propagator for SetVar SetOpType SetVar y
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
#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, FloatVal n)
Propagates .
@ 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)