Gecode::ViewSelAfcMax< View > Class Template Reference
[Generic view selection for brancher based on view and value selection]
View selection class for view with largest accumulated failure count. More...
#include <brancher-view.hpp>
Public Member Functions | |
| ViewSelAfcMax (void) | |
| Default constructor. | |
| ViewSelAfcMax (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. | |
Protected Attributes | |
| double | afc |
| So-far largest afc. | |
Detailed Description
template<class View>
class Gecode::ViewSelAfcMax< View >
View selection class for view with largest accumulated failure count.
Definition at line 158 of file brancher-view.hpp.
Constructor & Destructor Documentation
template<class View >
| Gecode::ViewSelAfcMax< View >::ViewSelAfcMax | ( | void | ) | [inline] |
Default constructor.
Definition at line 369 of file brancher-view.hpp.
template<class View >
| Gecode::ViewSelAfcMax< View >::ViewSelAfcMax | ( | Space & | home, | |
| const VarBranchOptions & | vbo | |||
| ) | [inline] |
Constructor for initialization.
Definition at line 372 of file brancher-view.hpp.
Member Function Documentation
template<class View >
| ViewSelStatus Gecode::ViewSelAfcMax< View >::init | ( | Space & | home, | |
| View | x | |||
| ) | [inline] |
Intialize with view x.
Definition at line 377 of file brancher-view.hpp.
template<class View >
| ViewSelStatus Gecode::ViewSelAfcMax< View >::select | ( | Space & | home, | |
| View | x | |||
| ) | [inline] |
Possibly select better view x.
Definition at line 383 of file brancher-view.hpp.
Member Data Documentation
template<class View >
double Gecode::ViewSelAfcMax< View >::afc [protected] |
So-far largest afc.
Definition at line 161 of file brancher-view.hpp.
The documentation for this class was generated from the following file:
- gecode/kernel/brancher-view.hpp (Revision: 12001)
