Value branching information. More...
#include <branch-val.hpp>
Public Member Functions | |
ValBranch (void) | |
Initialize. More... | |
ValBranch (Rnd r) | |
Initialize with random number generator r. More... | |
ValBranch (VoidFunction v, VoidFunction c) | |
Initialize with value function v and commit function c. More... | |
Rnd | rnd (void) const |
Return random number generator. More... | |
VoidFunction | val (void) const |
Return value function. More... | |
VoidFunction | commit (void) const |
Return commit function. More... | |
Protected Attributes | |
Rnd | r |
Random number generator. More... | |
VoidFunction | vf |
Value function. More... | |
VoidFunction | cf |
Commit function. More... | |
Value branching information.
Definition at line 44 of file branch-val.hpp.
|
inline |
Initialize.
Definition at line 69 of file branch-val.hpp.
|
inline |
Initialize with random number generator r.
Definition at line 73 of file branch-val.hpp.
|
inline |
Initialize with value function v and commit function c.
Definition at line 80 of file branch-val.hpp.
|
inline |
Return random number generator.
Definition at line 84 of file branch-val.hpp.
|
inline |
Return value function.
Definition at line 89 of file branch-val.hpp.
|
inline |
Return commit function.
Definition at line 94 of file branch-val.hpp.
|
protected |
Random number generator.
Definition at line 47 of file branch-val.hpp.
|
protected |
Value function.
Definition at line 49 of file branch-val.hpp.
|
protected |
Commit function.
Definition at line 51 of file branch-val.hpp.