44 namespace Test {
namespace Float {
58 return (((modf(x[0].
min(),&tmp)==0) ||
59 (modf(x[0].
max(),&tmp)==0))
64 using namespace Gecode;
Gecode::FloatNum step
Step for going to next solution.
ChannelLinkSingle cls(step)
void channel(Home home, FloatVar x0, IntVar x1)
Post propagator for channeling a float and an integer variable .
const FloatNum max
Largest allowed float value.
Base class for tests with float constraints
const FloatNum min
Smallest allowed float value.
Test channel between float and integer
ChannelLinkSingle(Gecode::FloatNum st)
Construct and register test.
virtual MaybeType solution(const Assignment &x) const
Check whether x is solution.
Node * x
Pointer to corresponding Boolean expression node.
MaybeType
Type for comparisons and solutions.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
double FloatNum
Floating point number base type.
Base class for assignments