47 typedef std::function<double(
const Space& home,
double w,
double b)>
117 : _tbl(nullptr), _decay(1.0) {}
122 : _tbl(
t), _decay(1.0) {}
127 : _tbl(
t), _decay(d) {}
132 : _tbl(
t), _decay(1.0), _afc(
a) {
140 : _tbl(
t), _decay(1.0), _act(
a) {
148 : _tbl(
t), _decay(1.0), _chb(c) {
156 : _tbl(nullptr), _rnd(
r), _decay(1.0) {
164 : _tbl(
t), _decay(1.0), _mf(f) {}
struct Gecode::@603::NNF::@65::@66 b
For binary nodes (and, or, eqv)
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
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
Variable branching information.
Action action(void) const
Return action.
VarBranch(void)
Initialize.
double decay(void) const
Return decay factor.
VarBranch(BranchTbl t)
Initialize with tie-break limit function t.
BranchTraits< Var >::Merit MeritFunction
Corresponding merit function.
BranchTbl tbl(void) const
Return tie-break limit function.
MeritFunction merit(void) const
Return merit function.
VarBranch(AFC a, BranchTbl t)
Initialize with AFC a and tie-break limit function t.
void chb(CHB chb)
Set CHB to chb.
void action(Action a)
Set action to a.
BranchTbl _tbl
Tie-breaking limit 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.
VarBranch(MeritFunction f, BranchTbl t)
Initialize with merit function f and tie-break limit function t.
Rnd _rnd
Random number generator.
VarBranch(Action a, BranchTbl t)
Initialize with action a and tie-break limit function t.
VarBranch(CHB c, BranchTbl t)
Initialize with CHB c and tie-break limit function t.
VarBranch(double d, BranchTbl t)
Initialize with decay factor d and tie-break limit function t.
void afc(AFC a)
Set AFC to a.
VarBranch(Rnd r)
Initialize with random number generator r.
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