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
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.
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
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.
virtual bool run(void)
Perform test.
Gecode::IntSet dom
Domain of variables.