44 namespace Test {
namespace Float {
58 return (((modf(x[0].
min(),&tmp)==0) ||
59 (modf(x[0].
max(),&tmp)==0))
Gecode::FloatNum step
Step for going to next solution.
ChannelLinkSingle cls(step)
const FloatNum max
Largest allowed float value.
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.
Gecode toplevel namespace
double FloatNum
Floating point number base type.
Base class for assignments