40namespace Test {
namespace Float {
58 :
Test(
"Rel::Float::Var::XY::"+
str(frt0)+
"::"+
str(
n),
79 rel(home,
x[0],
frt,
x[1]);
83 rel(home, y,
frt,
x[2]);
89 assert(
x.size() == 2);
102 :
Test(
"Rel::Float::Var::XX::"+
str(frt0),
150 rel(home,
x[0],
frt,
c);
152 rel(home,
x,
frt,
c);
157 assert(
x.size() == 1);
173 for (
int c=-4;
c<=4;
c++) {
int n
Number of negative literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
Reification specification.
Base class for assignments
Iterator for float relation types.
Help class to create and register tests.
Create(void)
Perform creation and registration.
Test for simple relation involving float variable and float constant
Gecode::FloatRelType frt
Float relation type to propagate.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x, Gecode::Reify r)
Post reified constraint on x for r.
Gecode::FloatVal c
Float constant.
FloatFloat(Gecode::FloatRelType frt0, int n, Gecode::FloatNum c0, Gecode::FloatNum st)
Create and register test.
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
Test for simple relation involving shared float variables
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x, Gecode::Reify r)
Post reified constraint on x for r.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
Gecode::FloatRelType frt
Float relation type to propagate.
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
FloatVarXX(Gecode::FloatRelType frt0, Gecode::FloatNum st)
Create and register test.
Test for simple relation involving float variables
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
Gecode::FloatRelType frt
Float relation type to propagate.
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
FloatVarXY(Gecode::FloatRelType frt0, int n, Gecode::FloatNum st)
Create and register test.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x, Gecode::Reify r)
Post reified constraint on x for r.
static MaybeType cmp(Gecode::FloatVal x, Gecode::FloatRelType r, Gecode::FloatVal y)
Compare x and y with respect to r.
bool testsubsumed
Whether to test for subsumption.
static std::string str(Gecode::FloatRelType frt)
Map float relation to string.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVar x1)
Post propagator for .
double FloatNum
Floating point number base type.
FloatRelType
Relation types for floats.
Gecode toplevel namespace
MaybeType
Type for comparisons and solutions.