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;
106 ::
post(home, x,y,b)));
114 ::
post(home,x,y,notb)));
118 ::
post(home,x,y,notb)));
122 ::
post(home,x,y,notb)));
141 ::
post(home, y, xc, b)));
149 ::
post(home, xc, y, b)));
176 rel_post<SetView,SetView>(home,
x,
r,y);
184 rel_post<SetView,SingletonView>(home,s,
r,xv);
207 rel_re<SetView,SetView,RM_EQV>(home,
x,rt,y,r.
var());
210 rel_re<SetView,SetView,RM_IMP>(home,
x,rt,y,r.
var());
213 rel_re<SetView,SetView,RM_PMI>(home,
x,rt,y,r.
var());
226 rel_re<SetView,SingletonView,RM_EQV>(home,s,rt,xsingle,r.
var());
229 rel_re<SetView,SingletonView,RM_IMP>(home,s,rt,xsingle,r.
var());
232 rel_re<SetView,SingletonView,RM_PMI>(home,s,rt,xsingle,r.
var());
249 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.
Integer view for integer variables.
Reified subset propagator
Node * x
Pointer to corresponding Boolean expression node.
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
Exception: Unknown reification mode passed as argument
Gecode toplevel namespace
Implication for reification.
struct Gecode::@554::NNF::@60::@61 b
For binary nodes (and, or, eqv)
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.