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