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) {}
Activity activity(void) const
Return activity.
double _decay
Decay information for AFC and activity.
Exception: uninitialized AFC
bool initialized(void) const
Test whether already initialized.
Exception: uninitialized activity
Rnd _rnd
Random number generator.
Activity _act
Activity information.
AFC afc(void) const
Return AFC.
Class for AFC (accumulated failure count) management.
Exception: uninitialized random number generator
struct Gecode::@519::NNF::@60::@62 a
For atomic nodes.
void(* VoidFunction)(void)
Base type for any function pointer.
VoidFunction merit(void) const
Return merit function.
BranchTbl _tbl
Tie-breaking limit function.
VoidFunction _mf
Merit function (generic function pointer)
BranchTbl tbl(void) const
Return tie-break limit function.
VarBranch(BranchTbl t)
Initialize with tie-break limit function t.
double decay(void) const
Return decay factor.
struct Gecode::@519::NNF::@60::@61 b
For binary nodes (and, or, eqv)
bool initialized(void) const
Test whether already initialized.
Variable branching information.
bool initialized(void) const
Test whether generator has been properly initialized.
Gecode toplevel namespace
Rnd rnd(void) const
Return random number generator.
Class for activity management.
double(* BranchTbl)(const Space &home, double w, double b)
Tie-break limit function.