34#ifdef GECODE_HAS_FLOAT_VARS
43 LinFloatRel::LinFloatRel(
void) {}
47 : e(l-
r), frt(frt0) {}
51 : e(l-
r), frt(frt0) {}
55 : e(l-
r), frt(frt0) {}
73 e.post(home,t ? frt : neg(frt));
78 e.post(home,t ? frt : neg(frt),b);
Boolean integer variables.
Home class for posting propagators
void post(Home home, bool t) const
Post propagator for relation (if t is false for negated relation)
FloatRelType
Relation types for floats.
@ FRT_LQ
Less or equal ( )
@ FRT_GQ
Greater or equal ( )
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r
#define GECODE_NEVER
Assert that this command is never executed.