51 typedef std::function<double(const Space& home, double w, double b)>
100 double decay(
void)
const;
114 MeritFunction
merit(
void)
const;
126 : _tbl(t), _decay(1.0) {}
131 : _tbl(t), _decay(d) {}
136 : _tbl(t), _decay(1.0), _afc(a) {
144 : _tbl(t), _decay(1.0), _act(a) {
152 : _tbl(t), _decay(1.0), _chb(c) {
160 : _tbl(nullptr), _rnd(r), _decay(1.0) {
168 : _tbl(t), _decay(1.0), _mf(f) {}
BranchTbl _tbl
Tie-breaking limit function.
Exception: uninitialized AFC
Exception: uninitialized action
Action _act
Action information.
AFC afc(void) const
Return AFC.
Gecode::FloatVal c(-8, 8)
BranchTraits< Var >::Merit MeritFunction
Corresponding merit function.
Class for AFC (accumulated failure count) management.
Rnd rnd(void) const
Return random number generator.
double decay(void) const
Return decay factor.
MeritFunction merit(void) const
Return merit function.
Exception: uninitialized CHB
std::function< double(const Space &home, double w, double b)> BranchTbl
Tie-break limit function.
Exception: uninitialized random number generator
Class for CHB management.
Action action(void) const
Return action.
VarBranch(void)
Initialize.
Post propagator for SetVar SetOpType SetVar SetRelType r
Post propagator for f(x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home
Variable branching information.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
BranchTbl tbl(void) const
Return tie-break limit function.
CHB chb(void) const
Return CHB.
Gecode toplevel namespace
Class for action management.
Rnd _rnd
Random number generator.
double tbl(const Gecode::Space &, double w, double b)
Test function for tie-break limit function.
MeritFunction _mf
Merit function.
double _decay
Decay information for AFC and action.