bool operator >=(const FloatVal &x, const FloatVal &y)
Linear relations over integer variables.
bool operator >(const FloatVal &x, const FloatVal &y)
Boolean integer variables.
Post propagator for SetVar SetOpType SetVar SetRelType r
Linear expressions over integer variables.
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
bool operator !=(const FloatVal &x, const FloatVal &y)