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.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
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
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.