47 typedef std::function<double(
const Space& home,
double w,
double b)>
Class for AFC (accumulated failure count) management.
Class for action management.
Class for CHB management.
Exception: uninitialized AFC
Exception: uninitialized action
Exception: uninitialized CHB
Exception: uninitialized random number generator
Action action(void) const
Return action.
VarBranch(void)
Initialize.
double decay(void) const
Return decay factor.
BranchTbl tbl(void) const
Return tie-break limit function.
MeritFunction merit(void) const
Return merit function.
BranchTbl _tbl
Tie-breaking limit function.
BranchTraits< Var >::Merit MeritFunction
Corresponding merit function.
AFC afc(void) const
Return AFC.
Rnd rnd(void) const
Return random number generator.
CHB chb(void) const
Return CHB.
MeritFunction _mf
Merit function.
Rnd _rnd
Random number generator.
Action _act
Action information.
double _decay
Decay information for AFC and action.
std::function< double(const Space &home, double w, double b)> BranchTbl
Tie-break limit function.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r