Boolean integer variables.
Linear expressions over integer variables.
Linear relations over integer variables.
@ IRT_GQ
Greater or equal ( )
@ IRT_LQ
Less or equal ( )
Gecode toplevel namespace
bool operator<=(const FloatVal &x, const FloatVal &y)
Post propagator for SetVar SetOpType SetVar SetRelType r
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)
bool operator!=(const FloatVal &x, const FloatVal &y)