47 using namespace Set::Rel;
48 using namespace Set::RelOp;
50 template<
class View0,
class View1>
71 ::
post(home, x0, x1, emptyset)));
78 ::
post(home, cx0, x1)));
98 template<
class View0,
class View1, ReifyMode rm>
101 if (home.
failed())
return;
105 ::
post(home, x,y,b)));
113 ::
post(home,x,y,notb)));
117 ::
post(home,x,y,notb)));
121 ::
post(home,x,y,notb)));
140 ::
post(home, y, xc, b)));
148 ::
post(home, xc, y, b)));
170 rel_post<SetView,SetView>(home,
x,
r,y);
177 rel_post<SetView,SingletonView>(home,s,
r,xv);
198 rel_re<SetView,SetView,RM_EQV>(home,
x,rt,y,r.
var());
201 rel_re<SetView,SetView,RM_IMP>(home,
x,rt,y,r.
var());
204 rel_re<SetView,SetView,RM_PMI>(home,
x,rt,y,r.
var());
216 rel_re<SetView,SingletonView,RM_EQV>(home,s,rt,xsingle,r.
var());
219 rel_re<SetView,SingletonView,RM_IMP>(home,s,rt,xsingle,r.
var());
222 rel_re<SetView,SingletonView,RM_PMI>(home,s,rt,xsingle,r.
var());
238 rel(home, s, rt, x, r);
bool failed(void) const
Check whether corresponding space is failed.
Propagator for negated equality
SetRelType
Common relation types for sets.
Inverse implication for reification.
ReifyMode mode(void) const
Return reification mode.
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
BoolVar var(void) const
Return Boolean control variable.
Propagator for the subset constraint
Propagator for set less than or equal
Exception: Unknown relation passed as argument
Reified equality propagator
void rel_post(Home home, View0 x0, SetRelType r, View1 x1)
Reification specification.
Reified propagator for set less than or equal
Boolean integer variables.
Integer view for integer variables.
Reified subset propagator
Node * x
Pointer to corresponding Boolean expression node.
void rel_re(Home home, View0 x, SetRelType r, View1 y, BoolVar b)
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Propagator for the superset of intersection
Propagator for set equality
Exception: Unknown reification mode passed as argument
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
Implication for reification.
Constant view for the empty set.
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
Equivalence for reification (default)
Boolean view for Boolean variables.