View selection class for random selection. More...
#include <brancher-view.hpp>
Public Types | |
typedef _View | View |
View type. | |
typedef Support::RandomGenerator | 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. | |
Support::RandomGenerator | choice (Space &home) |
Return choice. | |
void | commit (Space &home, const Support::RandomGenerator &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 | |
Support::RandomGenerator | r |
Random number generator. | |
unsigned int | n |
Number of views considered so far. |
View selection class for random selection.
Definition at line 173 of file brancher-view.hpp.
typedef _View Gecode::ViewSelRnd< _View >::View |
View type.
Definition at line 181 of file brancher-view.hpp.
typedef Support::RandomGenerator Gecode::ViewSelRnd< _View >::Choice |
View selection choice.
Definition at line 183 of file brancher-view.hpp.
Gecode::ViewSelRnd< View >::ViewSelRnd | ( | void | ) | [inline] |
Default constructor.
Definition at line 372 of file brancher-view.hpp.
Gecode::ViewSelRnd< View >::ViewSelRnd | ( | Space & | home, |
const VarBranchOptions & | vbo | ||
) | [inline] |
Constructor for initialization.
Definition at line 375 of file brancher-view.hpp.
ViewSelStatus Gecode::ViewSelRnd< View >::init | ( | Space & | home, |
_View | x | ||
) | [inline] |
Intialize with view x.
Definition at line 379 of file brancher-view.hpp.
ViewSelStatus Gecode::ViewSelRnd< View >::select | ( | Space & | home, |
_View | x | ||
) | [inline] |
Possibly select better view x.
Definition at line 385 of file brancher-view.hpp.
Support::RandomGenerator Gecode::ViewSelRnd< View >::choice | ( | Space & | home | ) | [inline] |
Return choice.
Definition at line 391 of file brancher-view.hpp.
void Gecode::ViewSelRnd< View >::commit | ( | Space & | home, |
const Support::RandomGenerator & | c, | ||
unsigned | a | ||
) | [inline] |
Commit to choice.
Definition at line 396 of file brancher-view.hpp.
void Gecode::ViewSelRnd< View >::update | ( | Space & | home, |
bool | share, | ||
ViewSelRnd< _View > & | vs | ||
) | [inline] |
Updating during cloning.
Definition at line 402 of file brancher-view.hpp.
void Gecode::ViewSelRnd< View >::dispose | ( | Space & | home | ) | [inline] |
Delete view selection.
Definition at line 407 of file brancher-view.hpp.
Support::RandomGenerator Gecode::ViewSelRnd< _View >::r [protected] |
Random number generator.
Definition at line 176 of file brancher-view.hpp.
unsigned int Gecode::ViewSelRnd< _View >::n [protected] |
Number of views considered so far.
Definition at line 178 of file brancher-view.hpp.