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