45 namespace Gecode {
namespace Set {
47 template<
class View0,
class View1>
50 using namespace Set::Rel;
51 using namespace Set::RelOp;
70 ::
post(home, x0, x1, emptyset)));
77 ::
post(home, cx0, x1)));
97 template<
class View0,
class View1, ReifyMode rm>
100 using namespace Set::Rel;
101 using namespace Set::RelOp;
177 rel_post<SetView,SetView>(home,
x,
r,
y);
185 rel_post<SetView,SingletonView>(home,s,
r,xv);
208 rel_re<SetView,SetView,RM_EQV>(home,
x,rt,
y,
r.var());
211 rel_re<SetView,SetView,RM_IMP>(home,
x,rt,
y,
r.var());
214 rel_re<SetView,SetView,RM_PMI>(home,
x,rt,
y,
r.var());
227 rel_re<SetView,SingletonView,RM_EQV>(home,s,rt,xsingle,
r.var());
230 rel_re<SetView,SingletonView,RM_IMP>(home,s,rt,xsingle,
r.var());
233 rel_re<SetView,SingletonView,RM_PMI>(home,s,rt,xsingle,
r.var());
250 rel(home, s, rt,
x,
r);
Propagator for negated equality
SetRelType
Common relation types for sets.
Inverse implication for reification.
Propagator for the subset constraint
Propagator for set less than or equal
Exception: Unknown relation passed as argument
Reified equality propagator
Reification specification.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
Reified propagator for set less than or equal
Boolean integer variables.
Post propagator for SetVar SetOpType SetVar SetRelType r
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
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.