View selection class for view with largest accumulated failure count. More...
#include <brancher-view.hpp>
Public Member Functions | |
| ViewSelAfcMax (void) | |
| Default constructor. More... | |
| ViewSelAfcMax (Space &home, const VarBranchOptions &vbo) | |
| Constructor for initialization. More... | |
| ViewSelStatus | init (Space &home, View x) |
| Intialize with view x. More... | |
| ViewSelStatus | select (Space &home, View x) |
| Possibly select better view x. More... | |
 Public Member Functions inherited from Gecode::ViewSelBase< View > | |
| 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 | afc |
| So-far largest afc. More... | |
Additional Inherited Members | |
| Public Types inherited from Gecode::ViewSelBase< View > | |
| typedef View | View |
| View type. More... | |
| typedef EmptyViewSelChoice | Choice |
| View selection choice. More... | |
View selection class for view with largest accumulated failure count.
Definition at line 158 of file brancher-view.hpp.
|
inline |
Default constructor.
Definition at line 369 of file brancher-view.hpp.
|
inline |
Constructor for initialization.
Definition at line 372 of file brancher-view.hpp.
|
inline |
Intialize with view x.
Definition at line 377 of file brancher-view.hpp.
|
inline |
Possibly select better view x.
Definition at line 383 of file brancher-view.hpp.
|
protected |
So-far largest afc.
Definition at line 161 of file brancher-view.hpp.