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);
SetRelType srt
Which relation.
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::@593::NNF::@62::@63 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.