View selection class for view with largest maximal element in lub-glb. More...
#include <branch.hh>
Public Member Functions | |
ByMaxMax (void) | |
Default constructor. | |
ByMaxMax (Space &home, const VarBranchOptions &vbo) | |
Constructor for initialization. | |
ViewSelStatus | init (Space &home, SetView x) |
Intialize with view x. | |
ViewSelStatus | select (Space &home, SetView x) |
Possibly select better view x. |
View selection class for view with largest maximal element in lub-glb.
Requires
#include <gecode/set/branch.hh>
Gecode::Set::Branch::ByMaxMax::ByMaxMax | ( | void | ) | [inline] |
Default constructor.
Definition at line 169 of file select-view.hpp.
Gecode::Set::Branch::ByMaxMax::ByMaxMax | ( | Space & | home, |
const VarBranchOptions & | vbo | ||
) | [inline] |
Constructor for initialization.
Definition at line 171 of file select-view.hpp.
ViewSelStatus Gecode::Set::Branch::ByMaxMax::init | ( | Space & | home, |
SetView | x | ||
) | [inline] |
Intialize with view x.
Definition at line 174 of file select-view.hpp.
ViewSelStatus Gecode::Set::Branch::ByMaxMax::select | ( | Space & | home, |
SetView | x | ||
) | [inline] |
Possibly select better view x.
Definition at line 180 of file select-view.hpp.