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