44 #ifndef __GECODE_TEST_BRANCH_HH__ 45 #define __GECODE_TEST_BRANCH_HH__ 51 #ifdef GECODE_HAS_SET_VARS 55 #ifdef GECODE_HAS_FLOAT_VARS 80 virtual bool run(
void);
97 virtual bool run(
void);
102 #ifdef GECODE_HAS_SET_VARS 117 virtual bool run(
void);
123 #ifdef GECODE_HAS_FLOAT_VARS 140 virtual bool run(
void);
Base class for tests for branching on Boolean variables
virtual bool run(void)
Perform test.
Gecode::FloatVal dom
Domain of variables.
int arity
Number of variables.
int nbSols
Maximum number of solutions searched during solving.
Gecode::IntSet dom
Domain of variables.
int arity
Number of variables.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Base class for tests for branching on float variables
IntTest(const std::string &s, int a, const Gecode::IntSet &d)
Construct and register test.
Base class for all tests to be run
Gecode::IntSet dom
Domain of variables.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)=0
Post propagators on variables x.
Base class for tests for branching on integer variables
Node * x
Pointer to corresponding Boolean expression node.
int arity
Number of variables.
Base class for tests for branching on set variables
int arity
Number of variables.