Gecode::Search::DFS Class Reference
#include <search.hh>
Inherited by Gecode::DFS< T >.
Detailed Description
Depth-first search engine.This class implements depth-first exploration for spaces. In order to use depth-first search on subclasses of Space, additional functionality providing the necessary typecasts is available in Gecode::DFS.
Definition at line 357 of file search.hh.
Public Member Functions | |
DFS (Space *s, unsigned int c_d, unsigned int a_d, Stop *st, size_t sz) | |
Initialize search engine. | |
Space * | next (void) |
Return next solution (NULL, if none exists or search has been stopped). | |
Statistics | statistics (void) const |
Return statistics. | |
bool | stopped (void) const |
Check whether engine has been stopped. | |
Protected Attributes | |
DfsEngine | e |
Engine used for exploration. |
Constructor & Destructor Documentation
|
Initialize search engine.
|
Member Function Documentation
|
Return next solution (NULL, if none exists or search has been stopped).
Reimplemented in Gecode::DFS< T >, and Gecode::Restart< T >. |
|
Return statistics.
|
|
Check whether engine has been stopped.
|
Member Data Documentation
|
Engine used for exploration.
|
The documentation for this class was generated from the following files:
- gecode/search.hh (Revision: 3516)
- gecode/search/dfs.cc (Revision: 3511)