40 namespace Test {
namespace Float {
54 return (((modf(
x[0].
min(),&tmp)==0) ||
55 (modf(
x[0].
max(),&tmp)==0))
60 using namespace Gecode;
61 IntVar iv(home,-1000,1000);
76 return (((modf(
x[0].
min(),&tmp)==0) ||
77 (modf(
x[0].
max(),&tmp)==0))
82 using namespace Gecode;
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.
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
double FloatNum
Floating point number base type.
const FloatNum max
Largest allowed float value.
const FloatNum min
Smallest allowed float value.
MaybeType
Type for comparisons and solutions.