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.