Go to the documentation of this file.
44 namespace Test {
namespace Float {
62 :
Test(
"Rel::Float::Var::XY::"+
str(frt0)+
"::"+
str(
n),
93 assert(
x.size() == 2);
106 :
Test(
"Rel::Float::Var::XX::"+
str(frt0),
161 assert(
x.size() == 1);
177 for (
int c=-4;
c<=4;
c++) {
Gecode::FloatRelType frt
Float relation type to propagate.
Post propagator for SetVar SetOpType SetVar y
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x, Gecode::Reify r)
Post reified constraint on x for r.
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.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
FloatVarXX(Gecode::FloatRelType frt0, Gecode::FloatNum st)
Create and register test.
FloatRelType
Relation types for floats.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x, Gecode::Reify r)
Post reified constraint on x for r.
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.
Gecode::FloatVal c
Float constant.
Test for simple relation involving float variables
Gecode toplevel namespace
Node * x
Pointer to corresponding Boolean expression node.
Reification specification.
FloatFloat(Gecode::FloatRelType frt0, int n, Gecode::FloatNum c0, Gecode::FloatNum st)
Create and register test.
double FloatNum
Floating point number base type.
Test for simple relation involving float variable and float constant
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
Gecode::FloatRelType frt
Float relation type to propagate.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
static MaybeType cmp(Gecode::FloatVal x, Gecode::FloatRelType r, Gecode::FloatVal y)
Compare x and y with respect to r.
Test for simple relation involving shared float variables
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
Gecode::FloatNum step
Step for going to next solution.
static std::string str(Gecode::FloatRelType frt)
Map float relation to string.
Create(void)
Perform creation and registration.
MaybeType
Type for comparisons and solutions.
Gecode::FloatRelType frt
Float relation type to propagate.
Base class for assignments
Iterator for float relation types.
int n
Number of negative literals for node type.
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
Help class to create and register tests.
bool testsubsumed
Whether to test for subsumption.
void rel(Home home, IntVar x, SetRelType rt, SetVar s, Reify r)
Post propagator for .