- Gecode
- BoolAssign

Which values to select for assignment. More...
#include <int.hh>
Public Types | |
| enum | Select { SEL_MIN , SEL_MAX , SEL_RND , SEL_VAL_COMMIT } |
| Which value selection. More... | |
Public Types inherited from Gecode::ValBranch< BoolVar > | |
| typedef BranchTraits< BoolVar >::Val | BranchVal |
| The corresponding branching value function. More... | |
| typedef BranchTraits< BoolVar >::Commit | BranchCommit |
| The corresponding branching commit function. More... | |
Public Member Functions | |
| BoolAssign (Select s=SEL_MIN) | |
| Initialize with selection strategy s. More... | |
| BoolAssign (Rnd r) | |
| Initialize with random number generator r. More... | |
| BoolAssign (BoolBranchVal v, BoolBranchCommit c) | |
| Initialize with value function f and commit function c. More... | |
| Select | select (void) const |
| Return selection strategy. More... | |
Public Member Functions inherited from Gecode::ValBranch< BoolVar > | |
| 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 | |
| Select | s |
| Which value to select. More... | |
Protected Attributes inherited from Gecode::ValBranch< BoolVar > | |
| Rnd | r |
| Random number generator. More... | |
| BranchVal | vf |
| Value function. More... | |
| BranchCommit | cf |
| Commit function. More... | |
Initialize with selection strategy s.
Definition at line 82 of file assign.hpp.
|
inline |
Initialize with random number generator r.
Definition at line 86 of file assign.hpp.
|
inline |
Initialize with value function f and commit function c.
Definition at line 90 of file assign.hpp.
|
inline |
Return selection strategy.
Definition at line 94 of file assign.hpp.
|
protected |