Depth-first search engine. More...
#include <search.hh>
Public Member Functions | |
DFS (T *s, const Search::Options &o=Search::Options::def) | |
Initialize search engine for space s with options o. More... | |
T * | next (void) |
Return next solution (NULL, if none exists or search has been stopped) More... | |
Search::Statistics | statistics (void) const |
Return statistics. More... | |
bool | stopped (void) const |
Check whether engine has been stopped. More... | |
NoGoods & | nogoods (void) |
Return no-goods. More... | |
Additional Inherited Members | |
![]() | |
~EngineBase (void) | |
Destructor. More... | |
EngineBase (Search::Engine *e=NULL) | |
Constructor. More... | |
![]() | |
Search::Engine * | e |
The actual search engine. More... | |
Depth-first search engine.
This class supports depth-first search for subclasses T of Space.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |