38 #ifdef GECODE_HAS_FLOAT_VARS
47 LinFloatRel::LinFloatRel(
void) {}
51 : e(l-r), frt(frt0) {}
55 : e(l-r), frt(frt0) {}
59 : e(l-r), frt(frt0) {}
77 e.
post(home,t ? frt : neg(frt));
82 e.
post(home,t ? frt : neg(frt),b);
void post(Home home, FloatRelType frt) const
Post propagator.
FloatRelType
Relation types for floats.
Boolean integer variables.
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
Home class for posting propagators
#define GECODE_NEVER
Assert that this command is never executed.
void post(Home home, bool t) const
Post propagator for relation (if t is false for negated relation)