
Value branching information. More...
#include <branch-val.hpp>
Public Types | |
| typedef BranchTraits< Var >::Val | BranchVal |
| The corresponding branching value function. More... | |
| typedef BranchTraits< Var >::Commit | BranchCommit |
| The corresponding branching commit function. More... | |
Public Member Functions | |
| ValBranch (void) | |
| Initialize. More... | |
| ValBranch (Rnd r) | |
| Initialize with random number generator r. More... | |
| ValBranch (BranchVal v, BranchCommit c) | |
| Initialize with value function v and commit function c. More... | |
| Rnd | rnd (void) const |
| Return random number generator. More... | |
| BranchVal | val (void) const |
| Return value function. More... | |
| BranchCommit | commit (void) const |
| Return commit function. More... | |
Protected Attributes | |
| Rnd | r |
| Random number generator. More... | |
| BranchVal | vf |
| Value function. More... | |
| BranchCommit | cf |
| Commit function. More... | |
Value branching information.
Definition at line 45 of file branch-val.hpp.
| typedef BranchTraits<Var>::Val Gecode::ValBranch< Var >::BranchVal |
The corresponding branching value function.
Definition at line 48 of file branch-val.hpp.
| typedef BranchTraits<Var>::Commit Gecode::ValBranch< Var >::BranchCommit |
The corresponding branching commit function.
Definition at line 50 of file branch-val.hpp.
|
inline |
Initialize.
Definition at line 76 of file branch-val.hpp.
|
inline |
Initialize with random number generator r.
Definition at line 81 of file branch-val.hpp.
|
inline |
Initialize with value function v and commit function c.
Definition at line 89 of file branch-val.hpp.
|
inline |
Return random number generator.
Definition at line 94 of file branch-val.hpp.
|
inline |
Return value function.
Definition at line 100 of file branch-val.hpp.
|
inline |
Return commit function.
Definition at line 106 of file branch-val.hpp.
|
protected |
Random number generator.
Definition at line 53 of file branch-val.hpp.
|
protected |
Value function.
Definition at line 55 of file branch-val.hpp.
|
protected |
Commit function.
Definition at line 57 of file branch-val.hpp.