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. |
View selection class for view with largest accumulated failure count.
Gecode::ViewSelAfcMax::ViewSelAfcMax | ( | void | ) | [inline] |
Default constructor.
Definition at line 369 of file brancher-view.hpp.
Gecode::ViewSelAfcMax::ViewSelAfcMax | ( | Space & | home, |
const VarBranchOptions & | vbo | ||
) | [inline] |
Constructor for initialization.
Definition at line 372 of file brancher-view.hpp.
ViewSelStatus Gecode::ViewSelAfcMax::init | ( | Space & | home, |
View | x | ||
) | [inline] |
Intialize with view x.
Definition at line 377 of file brancher-view.hpp.
ViewSelStatus Gecode::ViewSelAfcMax::select | ( | Space & | home, |
View | x | ||
) | [inline] |
Possibly select better view x.
Definition at line 383 of file brancher-view.hpp.
double Gecode::ViewSelAfcMax::afc [protected] |
So-far largest afc.
Definition at line 161 of file brancher-view.hpp.