34#ifdef GECODE_HAS_SET_VARS
44 :
l(l0),
r(r0), srt(srt0) {}
51 : _e0(e0), _srt(srt), _e1(e1) {}
55 : _e0(
r.
l), _srt(
r.srt), _e1(
r.
r) {}
60 _e0.
post(home,_srt,_e1);
67 _e0.
post(home,
b,
true,_srt,_e1);
73 _e0.
post(home,
b,
t,_srt,_e1);
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
Boolean integer variables.
Home class for posting propagators
Comparison relation (for two-sided comparisons)
SetCmpRel(const SetExpr &l, SetRelType srt, const SetExpr &r)
Constructor.
SetVar post(Home home) const
Post propagators for expression.
void post(Home home, bool t) const
Post propagators for relation (or negated relation if t is false)
SetRel(void)
Default constructor.
SetRelType
Common relation types for sets.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r