73 : vf(nullptr), cf(nullptr) {}
78 :
r(r0), vf(nullptr), cf(nullptr) {
Exception: uninitialized random number generator
Value branching information.
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.
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.
BranchTraits< Var >::Commit BranchCommit
The corresponding branching commit function.
Gecode toplevel namespace
Post propagator for SetVar SetOpType SetVar SetRelType r