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);
Boolean integer variables.
Home class for posting propagators
Comparison relation (for two-sided comparisons)
SetRelType srt
Which relation.
SetExpr l
Left side of relation.
SetExpr r
Right side of relation.
SetCmpRel(const SetExpr &l, SetRelType srt, const SetExpr &r)
Constructor.
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