
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... | |
Public Member Functions inherited from Gecode::Search::EngineBase< T > | |
| virtual T * | next (void) |
| Return next solution (NULL, if none exists or search has been stopped) More... | |
| virtual Statistics | statistics (void) const |
| Return statistics. More... | |
| virtual bool | stopped (void) const |
| Check whether engine has been stopped. More... | |
| virtual NoGoods & | nogoods (void) |
| Return no-goods (the no-goods are empty) More... | |
| virtual | ~EngineBase (void) |
| Destructor. More... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::Search::EngineBase< T > | |
| static void * | operator new (size_t s) |
| Allocate memory from heap. More... | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. More... | |
Protected Member Functions inherited from Gecode::Search::EngineBase< T > | |
| EngineBase (Engine *e=NULL) | |
| Constructor. More... | |
Protected Attributes inherited from Gecode::Search::EngineBase< T > | |
| Engine * | e |
| The actual search engine. More... | |
Depth-first search engine.
This class supports depth-first search for subclasses T of Space.
|
inline |