40 namespace Test {
namespace Float {
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))
const FloatNum max
Largest allowed float value.
void channel(Home home, const SetVarArgs &x, const SetVarArgs &y)
virtual MaybeType solution(const Assignment &x) const
Check whether x is solution.
Int(Gecode::FloatNum st)
Construct and register test.
const FloatNum min
Smallest allowed float value.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
virtual MaybeType solution(const Assignment &x) const
Check whether x is solution.
Boolean integer variables.
Node * x
Pointer to corresponding Boolean expression node.
Test channel between float and integer
MaybeType
Type for comparisons and solutions.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
Gecode toplevel namespace
double FloatNum
Floating point number base type.
Base class for assignments
Bool(Gecode::FloatNum st)
Construct and register test.
Test channel between float and Boolean