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.
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
struct Gecode::@519::NNF::@60::@62 a
For atomic nodes.
Base class for tests for assigning integer variables
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
int arity
Number of variables.
Gecode::IntSet dom
Domain of variables.
Base class for tests for branching on set variables
int arity
Number of variables.
Gecode::IntSet dom
Upper bound of variable domains.