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;
102 ::
post(home, x,y,b)));
110 ::
post(home,x,y,notb)));
114 ::
post(home,x,y,notb)));
118 ::
post(home,x,y,notb)));
138 ::
post(home, y, xc, b)));
146 ::
post(home, xc, y, b)));
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);
Propagator for negated equality
SetRelType
Common relation types for sets.
Inverse implication for reification.
ReifyMode mode(void) const
Return reification mode.
Propagator for the subset constraint
Propagator for set less than or equal
Exception: Unknown relation passed as argument
Reified equality propagator
Reification specification.
Reified propagator for set less than or equal
Boolean integer variables.
Post propagator for SetVar SetOpType SetVar SetRelType r
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Integer view for integer variables.
Post propagator for SetVar SetOpType SetVar y
Reified subset propagator
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Propagator for the superset of intersection
BoolVar var(void) const
Return Boolean control variable.
Propagator for set equality
Post propagator for SetVar x
Exception: Unknown reification mode passed as argument
Gecode toplevel namespace
Implication for reification.
Constant view for the empty set.
#define GECODE_POST
Check for failure in a constraint post function.
Home class for posting propagators
#define GECODE_ES_FAIL(es)
Check whether execution status es is failed, and fail space home.
void rel_post(Home home, View0 x0, SetRelType r, View1 x1)
void rel_re(Home home, View0 x, SetRelType r, View1 y, BoolVar b)
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Equivalence for reification (default)
Boolean view for Boolean variables.