Gecode::ViewSelRnd< _View > Class Template Reference
[Generic view selection for brancher based on view and value selection]
View selection class for random selection. More...
#include <brancher-view.hpp>
Public Types | |
| typedef _View | View |
| View type. | |
| typedef ArchivedRandomGenerator | Choice |
| View selection choice. | |
Public Member Functions | |
| ViewSelRnd (void) | |
| Default constructor. | |
| ViewSelRnd (Space &home, const VarBranchOptions &vbo) | |
| Constructor for initialization. | |
| ViewSelStatus | init (Space &home, _View x) |
| Intialize with view x. | |
| ViewSelStatus | select (Space &home, _View x) |
| Possibly select better view x. | |
| Choice | choice (Space &home) |
| Return choice. | |
| Choice | choice (const Space &home, Archive &e) |
| Return choice. | |
| void | commit (Space &home, const Choice &c, unsigned a) |
| Commit to choice. | |
| void | update (Space &home, bool share, ViewSelRnd &vs) |
| Updating during cloning. | |
| void | dispose (Space &home) |
| Delete view selection. | |
Protected Attributes | |
| ArchivedRandomGenerator | r |
| Random number generator. | |
| unsigned int | n |
| Number of views considered so far. | |
Detailed Description
template<class _View>
class Gecode::ViewSelRnd< _View >
View selection class for random selection.
Definition at line 190 of file brancher-view.hpp.
Member Typedef Documentation
| typedef _View Gecode::ViewSelRnd< _View >::View |
View type.
Definition at line 198 of file brancher-view.hpp.
| typedef ArchivedRandomGenerator Gecode::ViewSelRnd< _View >::Choice |
View selection choice.
Definition at line 200 of file brancher-view.hpp.
Constructor & Destructor Documentation
| Gecode::ViewSelRnd< View >::ViewSelRnd | ( | void | ) | [inline] |
Default constructor.
Definition at line 411 of file brancher-view.hpp.
| Gecode::ViewSelRnd< View >::ViewSelRnd | ( | Space & | home, | |
| const VarBranchOptions & | vbo | |||
| ) | [inline] |
Constructor for initialization.
Definition at line 414 of file brancher-view.hpp.
Member Function Documentation
| ViewSelStatus Gecode::ViewSelRnd< View >::init | ( | Space & | home, | |
| View | x | |||
| ) | [inline] |
Intialize with view x.
Definition at line 418 of file brancher-view.hpp.
| ViewSelStatus Gecode::ViewSelRnd< View >::select | ( | Space & | home, | |
| View | x | |||
| ) | [inline] |
Possibly select better view x.
Definition at line 424 of file brancher-view.hpp.
| ViewSelRnd< View >::Choice Gecode::ViewSelRnd< View >::choice | ( | Space & | home | ) | [inline] |
Return choice.
Definition at line 430 of file brancher-view.hpp.
| ViewSelRnd< View >::Choice Gecode::ViewSelRnd< View >::choice | ( | const Space & | home, | |
| Archive & | e | |||
| ) | [inline] |
Return choice.
Definition at line 435 of file brancher-view.hpp.
| void Gecode::ViewSelRnd< View >::commit | ( | Space & | home, | |
| const Choice & | c, | |||
| unsigned | a | |||
| ) | [inline] |
Commit to choice.
Definition at line 440 of file brancher-view.hpp.
| void Gecode::ViewSelRnd< View >::update | ( | Space & | home, | |
| bool | share, | |||
| ViewSelRnd< _View > & | vs | |||
| ) | [inline] |
Updating during cloning.
Definition at line 445 of file brancher-view.hpp.
| void Gecode::ViewSelRnd< View >::dispose | ( | Space & | home | ) | [inline] |
Delete view selection.
Definition at line 450 of file brancher-view.hpp.
Member Data Documentation
ArchivedRandomGenerator Gecode::ViewSelRnd< _View >::r [protected] |
Random number generator.
Definition at line 193 of file brancher-view.hpp.
unsigned int Gecode::ViewSelRnd< _View >::n [protected] |
Number of views considered so far.
Definition at line 195 of file brancher-view.hpp.
The documentation for this class was generated from the following file:
- gecode/kernel/brancher-view.hpp (Revision: 12001)