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);
62 channel(home,
x[0], iv);
63 channel(home, iv,
x[1]);
76 return (((modf(
x[0].min(),&tmp)==0) ||
77 (modf(
x[0].max(),&tmp)==0))
84 channel(home,
x[0], bv);
85 channel(home, bv,
x[1]);
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.
Gecode toplevel namespace
MaybeType
Type for comparisons and solutions.