40 #ifdef GECODE_HAS_SET_VARS
bool operator >=(const FloatVal &x, const FloatVal &y)
Comparison relation (for two-sided comparisons)
Post propagator for SetVar SetOpType SetVar SetRelType r
bool operator==(const FloatVal &x, const FloatVal &y)
bool operator<=(const FloatVal &x, const FloatVal &y)
Gecode toplevel namespace
bool operator !=(const FloatVal &x, const FloatVal &y)
BoolExpr operator||(const BoolExpr &l, const BoolExpr &r)
Disjunction of Boolean expressions.