73 :
vf(nullptr),
cf(nullptr) {}
78 :
r(r0),
vf(nullptr),
cf(nullptr) {
Exception: uninitialized random number generator
BranchCommit cf
Commit function.
Rnd rnd(void) const
Return random number generator.
BranchCommit commit(void) const
Return commit function.
BranchVal val(void) const
Return value function.
ValBranch(void)
Initialize.
ValBranch(Rnd r)
Initialize with random number generator r.
BranchTraits< Var >::Commit BranchCommit
The corresponding branching commit function.
ValBranch(BranchVal v, BranchCommit c)
Initialize with value function v and commit function c.
Rnd r
Random number generator.
BranchVal vf
Value function.
BranchTraits< Var >::Val BranchVal
The corresponding branching value function.
Gecode toplevel namespace