54 return (((modf(x[0].min(),&tmp)==0) ||
55 (modf(x[0].max(),&tmp)==0))
61 IntVar iv(home,-1000,1000);
76 return (((modf(
x[0].
min(),&tmp)==0) ||
77 (modf(
x[0].
max(),&tmp)==0))
Boolean integer variables.
Base class for assignments
Test channel between float and Boolean
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
Bool(Gecode::FloatNum st)
Construct and register test.
virtual MaybeType solution(const Assignment &x) const
Check whether x is solution.
Test channel between float and integer
virtual MaybeType solution(const Assignment &x) const
Check whether x is solution.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
Int(Gecode::FloatNum st)
Construct and register test.
double FloatNum
Floating point number base type.
Gecode toplevel namespace
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Post propagator for SetVar x
Tests for channel constraints
MaybeType
Type for comparisons and solutions.