40#ifndef __GECODE_TEST_BRANCH_HH__
41#define __GECODE_TEST_BRANCH_HH__
47#ifdef GECODE_HAS_SET_VARS
51#ifdef GECODE_HAS_FLOAT_VARS
76 virtual bool run(
void);
93 virtual bool run(
void);
98#ifdef GECODE_HAS_SET_VARS
113 virtual bool run(
void);
119#ifdef GECODE_HAS_FLOAT_VARS
136 virtual bool run(
void);
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Node * x
Pointer to corresponding Boolean expression node.
Base class for all tests to be run
Base class for tests for branching on Boolean variables
BoolTest(const std::string &s, int a)
Construct and register test.
int arity
Number of variables.
virtual bool run(void)
Perform test.
virtual void post(Gecode::Space &home, Gecode::BoolVarArray &x)=0
Post propagators on variables x.
Base class for tests for branching on float variables
Gecode::FloatVal dom
Domain of variables.
int arity
Number of variables.
int nbSols
Maximum number of solutions searched during solving.
FloatTest(const std::string &s, int a, const Gecode::FloatVal &d, int nbs)
Construct and register test.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)=0
Post propagators on variables x.
virtual bool run(void)
Perform test.
Base class for tests for branching on integer variables
IntTest(const std::string &s, int a, const Gecode::IntSet &d)
Construct and register test.
int arity
Number of variables.
virtual bool run(void)
Perform test.
virtual void post(Gecode::Space &home, Gecode::IntVarArray &x)=0
Post propagators on variables x.
Gecode::IntSet dom
Domain of variables.
Base class for tests for branching on set variables
virtual void post(Gecode::Space &home, Gecode::SetVarArray &x)=0
Post propagators on variables x.
int arity
Number of variables.
SetTest(const std::string &s, int a, const Gecode::IntSet &d)
Construct and register test.
virtual bool run(void)
Perform test.
Gecode::IntSet dom
Domain of variables.