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)
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.
void channel(Home home, const SetVarArgs &x, const SetVarArgs &y)
Post propagator for .
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