42 namespace Test {
namespace Float {
Test whether testing infrastructure for float variables works
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &, Gecode::Reify r)
Post reified constraint on x for r.
BoolVar var(void) const
Return Boolean control variable.
int n
Number of negative literals for node type.
Reification specification.
virtual void post(Gecode::Space &, Gecode::FloatVarArray &)
Post constraint on x.
MaybeType
Type for comparisons and solutions.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
Basic(Gecode::FloatVal v, Gecode::FloatNum s)
Initialize test.
virtual MaybeType solution(const Assignment &) const
Check whether x is a solution.
Basic(Gecode::FloatNum n, Gecode::FloatNum s)
Initialize test.
double FloatNum
Floating point number base type.
Base class for assignments