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.
BranchTraits<Var>::Val Gecode::ValBranch< Var >::BranchVal |
BranchTraits<Var>::Commit Gecode::ValBranch< Var >::BranchCommit |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |
|
protected |
|
protected |