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.
void post(Home home, bool t) const
Post propagators for relation (or negated relation if t is false)
Comparison relation (for two-sided comparisons)
SetRel(void)
Default constructor.
Boolean integer variables.
SetCmpRel(const SetExpr &l, SetRelType srt, const SetExpr &r)
Constructor.
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
Home class for posting propagators
SetVar post(Home home) const
Post propagators for expression.