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. | |
T * | next (void) |
Return next solution (NULL, if none exists or search has been stopped) | |
Search::Statistics | statistics (void) const |
Return statistics. | |
bool | stopped (void) const |
Check whether engine has been stopped. | |
~DFS (void) | |
Destructor. |
Depth-first search engine.
This class supports depth-first search for subclasses T of Space.
Gecode::DFS::DFS | ( | T * | s, |
const Search::Options & | o = Search::Options::def |
||
) | [inline] |
T * Gecode::DFS::next | ( | void | ) | [inline] |
Search::Statistics Gecode::DFS::statistics | ( | void | ) | const [inline] |
bool Gecode::DFS::stopped | ( | void | ) | const [inline] |