View selection class for view with smallest min. More...
#include <branch.hh>
Public Member Functions | |
ByMinMin (void) | |
Default constructor. | |
ByMinMin (Space &home, const VarBranchOptions &vbo) | |
Constructor for initialization. | |
ViewSelStatus | init (Space &home, IntView x) |
Intialize with view x. | |
ViewSelStatus | select (Space &home, IntView x) |
Possibly select better view x. | |
Protected Attributes | |
int | min |
So-far smallest minimum. |
Gecode::Int::Branch::ByMinMin::ByMinMin | ( | void | ) | [inline] |
Default constructor.
Definition at line 42 of file select-view.hpp.
Gecode::Int::Branch::ByMinMin::ByMinMin | ( | Space & | home, |
const VarBranchOptions & | vbo | ||
) | [inline] |
Constructor for initialization.
Definition at line 44 of file select-view.hpp.
ViewSelStatus Gecode::Int::Branch::ByMinMin::init | ( | Space & | home, |
IntView | x | ||
) |
Intialize with view x.
ViewSelStatus Gecode::Int::Branch::ByMinMin::select | ( | Space & | home, |
IntView | x | ||
) |
Possibly select better view x.
int Gecode::Int::Branch::ByMinMin::min [protected] |