87 double decay(
void)
const;
103 : _tbl(t), _decay(1.0) {}
107 : _tbl(t), _decay(d) {}
111 : _tbl(t), _decay(1.0), _afc(a) {
118 : _tbl(t), _decay(1.0), _act(a) {
125 : _tbl(NULL), _rnd(r), _decay(1.0) {
132 : _tbl(t), _decay(1.0), _mf(f) {}
bool initialized(void) const
Test whether already initialized.
double _decay
Decay information for AFC and activity.
bool initialized(void) const
Test whether already initialized.
Exception: uninitialized AFC
AFC afc(void) const
Return AFC.
Exception: uninitialized activity
Rnd _rnd
Random number generator.
BranchTbl tbl(void) const
Return tie-break limit function.
Activity _act
Activity information.
bool initialized(void) const
Test whether generator has been properly initialized.
Class for AFC (accumulated failure count) management.
double decay(void) const
Return decay factor.
Exception: uninitialized random number generator
Activity activity(void) const
Return activity.
void(* VoidFunction)(void)
Base type for any function pointer.
BranchTbl _tbl
Tie-breaking limit function.
VoidFunction _mf
Merit function (generic function pointer)
VarBranch(BranchTbl t)
Initialize with tie-break limit function t.
VoidFunction merit(void) const
Return merit function.
Rnd rnd(void) const
Return random number generator.
Variable branching information.
struct Gecode::@518::NNF::@57::@58 b
For binary nodes (and, or, eqv)
Gecode toplevel namespace
Class for activity management.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
double(* BranchTbl)(const Space &home, double w, double b)
Tie-break limit function.