
Value branching information. More...
#include <val.hpp>
Public Types | |
| typedef BranchTraits< Var >::Val | BranchVal |
| The corresponding branching value function. | |
| typedef BranchTraits< Var >::Commit | BranchCommit |
| The corresponding branching commit function. | |
Public Member Functions | |
| 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 | rnd (void) const |
| Return random number generator. | |
| BranchVal | val (void) const |
| Return value function. | |
| BranchCommit | commit (void) const |
| Return commit function. | |
Protected Attributes | |
| Rnd | r |
| Random number generator. | |
| BranchVal | vf |
| Value function. | |
| BranchCommit | cf |
| Commit function. | |
Value branching information.
| typedef BranchTraits<Var>::Val Gecode::ValBranch< Var >::BranchVal |
| typedef BranchTraits<Var>::Commit Gecode::ValBranch< Var >::BranchCommit |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |
|
protected |
|
protected |