Which value to select for assignment. More...
#include <set.hh>
Public Types | |
enum | Select { SEL_MIN_INC , SEL_MIN_EXC , SEL_MED_INC , SEL_MED_EXC , SEL_MAX_INC , SEL_MAX_EXC , SEL_RND_INC , SEL_RND_EXC , SEL_VAL_COMMIT } |
![]() | |
typedef BranchTraits< SetVar >::Val | BranchVal |
The corresponding branching value function. | |
typedef BranchTraits< SetVar >::Commit | BranchCommit |
The corresponding branching commit function. | |
Public Member Functions | |
Initialize with selection strategy a s | SetAssign (Select s=SEL_MIN_INC) |
Initialize with random number generator a r | SetAssign (Select s, Rnd r) |
Initialize with value function a f and commit function a c | SetAssign (SetBranchVal v, SetBranchCommit c) |
Return selection strategy Select | select (void) const |
![]() | |
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 | |
Which value to select Select | s |
![]() | |
Rnd | r |
Random number generator. | |
BranchVal | vf |
Value function. | |
BranchCommit | cf |
Commit function. | |
|
inline |
Definition at line 37 of file assign.hpp.
Definition at line 41 of file assign.hpp.
|
inline |
Definition at line 45 of file assign.hpp.
|
inline |
Definition at line 49 of file assign.hpp.