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. |
View selection class for random selection.
Definition at line 190 of file brancher-view.hpp.
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.
|
inline |
Default constructor.
Definition at line 411 of file brancher-view.hpp.
|
inline |
Constructor for initialization.
Definition at line 414 of file brancher-view.hpp.
|
inline |
Intialize with view x.
Definition at line 418 of file brancher-view.hpp.
|
inline |
Possibly select better view x.
Definition at line 424 of file brancher-view.hpp.
|
inline |
Return choice.
Definition at line 430 of file brancher-view.hpp.
|
inline |
Return choice.
Definition at line 435 of file brancher-view.hpp.
|
inline |
Commit to choice.
Definition at line 440 of file brancher-view.hpp.
|
inline |
Updating during cloning.
Definition at line 445 of file brancher-view.hpp.
|
inline |
Delete view selection.
Definition at line 450 of file brancher-view.hpp.
|
protected |
Random number generator.
Definition at line 193 of file brancher-view.hpp.
|
protected |
Number of views considered so far.
Definition at line 195 of file brancher-view.hpp.