38 #ifdef GECODE_HAS_SET_VARS 93 : _s(s), _x(x), _irt(irt) {}
100 }
else if (b.
one()) {
105 _x.post(home, ipl),
b);
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
Comparison relation (for two-sided comparisons)
bool one(void) const
Test whether domain is one.
Miscealloneous Boolean expressions.
IntRelType neg(IntRelType irt)
Return negated relation type of irt.
IntRelType
Relation types for integers.
bool operator!=(const FloatVal &x, const FloatVal &y)
SetExpr r
Right side of relation.
Boolean integer variables.
Post propagator for SetVar SetOpType SetVar SetRelType r
IntPropLevel
Propagation levels for integer propagators.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Post propagator for SetVar SetOpType SetVar y
Linear expressions over integer variables.
bool operator>=(const FloatVal &x, const FloatVal &y)
bool zero(void) const
Test whether domain is zero.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Post propagator for SetVar x
bool operator>(const FloatVal &x, const FloatVal &y)
bool operator<(const FloatVal &x, const FloatVal &y)
bool operator==(const FloatVal &x, const FloatVal &y)
bool operator<=(const FloatVal &x, const FloatVal &y)
Gecode toplevel namespace
Home class for posting propagators
BoolExpr operator||(const BoolExpr &l, const BoolExpr &r)
Disjunction of Boolean expressions.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.