View selection class for view with smallest size divided by accumulated failure count. More...
#include <branch.hh>
Public Member Functions | |
BySizeAfcMin (void) | |
Default constructor. More... | |
BySizeAfcMin (Space &home, const VarBranchOptions &vbo) | |
Constructor for initialization. More... | |
ViewSelStatus | init (Space &home, IntView x) |
Intialize with view x. More... | |
ViewSelStatus | select (Space &home, IntView x) |
Possibly select better view x. More... | |
![]() | |
ViewSelBase (void) | |
Default constructor. More... | |
ViewSelBase (Space &home, const VarBranchOptions &vbo) | |
Constructor for initialization. More... | |
EmptyViewSelChoice | choice (Space &home) |
Return choice. More... | |
EmptyViewSelChoice | choice (const Space &home, Archive &e) |
Return choice. More... | |
void | commit (Space &home, const EmptyViewSelChoice &c, unsigned a) |
Commit to choice. More... | |
void | update (Space &home, bool share, ViewSelBase &vs) |
Updating during cloning. More... | |
void | dispose (Space &home) |
Delete view selection. More... | |
Protected Attributes | |
double | sizeafc |
So-far smallest size/afc. More... | |
Additional Inherited Members | |
![]() | |
typedef IntView | View |
View type. More... | |
typedef EmptyViewSelChoice | Choice |
View selection choice. More... | |
View selection class for view with smallest size divided by accumulated failure count.
Requires
|
inline |
Default constructor.
Definition at line 226 of file select-view.hpp.
|
inline |
Constructor for initialization.
Definition at line 228 of file select-view.hpp.
|
inline |
Intialize with view x.
Definition at line 231 of file select-view.hpp.
|
inline |
Possibly select better view x.
Definition at line 236 of file select-view.hpp.
|
protected |