40namespace 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))
Node * x
Pointer to corresponding Boolean expression node.
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.
const FloatNum max
Largest allowed float value.
const FloatNum min
Smallest allowed float value.
Gecode toplevel namespace
void channel(Home home, const SetVarArgs &x, const SetVarArgs &y)
MaybeType
Type for comparisons and solutions.