
View selection class for view with smallest accumulated failure count. More...
#include <brancher-view.hpp>
Public Member Functions | |
| ViewSelAfcMin (void) | |
| Default constructor. | |
| ViewSelAfcMin (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 smallest afc. | |
View selection class for view with smallest accumulated failure count.
Definition at line 139 of file brancher-view.hpp.
| Gecode::ViewSelAfcMin< View >::ViewSelAfcMin | ( | void | ) | [inline] |
Default constructor.
Definition at line 340 of file brancher-view.hpp.
| Gecode::ViewSelAfcMin< View >::ViewSelAfcMin | ( | Space & | home, |
| const VarBranchOptions & | vbo | ||
| ) | [inline] |
Constructor for initialization.
Definition at line 343 of file brancher-view.hpp.
| ViewSelStatus Gecode::ViewSelAfcMin< View >::init | ( | Space & | home, |
| View | x | ||
| ) | [inline] |
Intialize with view x.
Definition at line 348 of file brancher-view.hpp.
| ViewSelStatus Gecode::ViewSelAfcMin< View >::select | ( | Space & | home, |
| View | x | ||
| ) | [inline] |
Possibly select better view x.
Definition at line 354 of file brancher-view.hpp.
double Gecode::ViewSelAfcMin< View >::afc [protected] |
So-far smallest afc.
Definition at line 142 of file brancher-view.hpp.