42 #ifndef __GECODE_TEST_ASSIGN_HH__
43 #define __GECODE_TEST_ASSIGN_HH__
47 #ifdef GECODE_HAS_SET_VARS
50 #ifdef GECODE_HAS_FLOAT_VARS
75 virtual bool run(
void);
92 virtual bool run(
void);
97 #ifdef GECODE_HAS_SET_VARS
113 virtual bool run(
void);
120 #ifdef GECODE_HAS_FLOAT_VARS
136 virtual bool run(
void);
Gecode::FloatVal dom
Domain of variables.
virtual bool run(void)
Perform test.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)=0
Post assignment on variables x.
SetTest(const std::string &s, int a, const Gecode::IntSet &d)
Construct and register test.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)=0
Post assignment on variables x.
virtual void post(Gecode::Space &home, Gecode::BoolVarArray &x)=0
Post assignment on variables x.
virtual bool run(void)
Perform test.
IntTest(const std::string &s, int a, const Gecode::IntSet &d)
Construct and register test.
int arity
Number of variables.
int arity
Number of variables.
Base class for all tests to be run
Base class for tests for assigning integer variables
virtual bool run(void)
Perform test.
virtual bool run(void)
Perform test.
Node * x
Pointer to corresponding Boolean expression node.
Base class for tests for branching on Boolean variables
Base class for tests for branching on float variables
FloatTest(const std::string &s, int a, const Gecode::FloatVal &d)
Construct and register test.
int arity
Number of variables.
virtual void post(Gecode::Space &home, Gecode::SetVarArray &x)=0
Post assignment on variables x.
Gecode::IntSet dom
Domain of variables.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
Base class for tests for branching on set variables
int arity
Number of variables.
Gecode::IntSet dom
Upper bound of variable domains.
BoolTest(const std::string &s, int a)
Construct and register test.