51 typedef std::function<double(
const Space& home,
double w,
double b)>
100 double decay(
void)
const;
121 : _tbl(nullptr), _decay(1.0) {}
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.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
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 action
std::function< double(const Space &home, double w, double b)> BranchTbl
Tie-break limit function.
Exception: uninitialized random number generator
Class for CHB management.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
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.
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.