Iterator for branching types. More...
Public Member Functions | |
BranchTypes (void) | |
Initialize iterator. More... | |
bool | operator() (void) const |
Test whether iterator is done. More... | |
void | operator++ (void) |
Increment to next branching type. More... | |
HowToBranch | htb (void) const |
Return current branching type. More... | |
Iterator for branching types.
Definition at line 472 of file search.cpp.
|
inline |
Initialize iterator.
Definition at line 480 of file search.cpp.
|
inline |
Test whether iterator is done.
Definition at line 482 of file search.cpp.
|
inline |
Increment to next branching type.
Definition at line 486 of file search.cpp.
|
inline |
Return current branching type.
Definition at line 490 of file search.cpp.