Gecode::Set::Branch::ByMaxUnknown Class Reference
[Set view selection for branching]
#include <branch.hh>
Detailed Description
View selection class for view with greatest element in lub-glb.Requires
#include "gecode/set/branch.hh"
Definition at line 193 of file branch.hh.
Public Member Functions | |
ViewSelStatus | init (const Space *home, SetView x) |
Intialize with view x. | |
ViewSelStatus | select (const Space *home, SetView x) |
Possibly select better view x. | |
Static Public Member Functions | |
static Support::Symbol | type (void) |
Type of this view selection (for reflection). |
Member Function Documentation
ViewSelStatus Gecode::Set::Branch::ByMaxUnknown::init | ( | const Space * | home, | |
SetView | x | |||
) | [inline] |
ViewSelStatus Gecode::Set::Branch::ByMaxUnknown::select | ( | const Space * | home, | |
SetView | x | |||
) | [inline] |
Support::Symbol Gecode::Set::Branch::ByMaxUnknown::type | ( | void | ) | [inline, static] |
The documentation for this class was generated from the following files:
- gecode/set/branch.hh (Revision: 6185)
- gecode/set/branch/select-view.icc (Revision: 6017)