
Depth-first search engine implementation. More...
#include <dfs.hh>
Public Member Functions | |
| DFS (Space *s, size_t sz, const Options &o) | |
| Initialize for space s (of size sz) with options o. | |
| Space * | next (void) |
| Search for next solution | |
| Statistics | statistics (void) const |
| Return statistics. | |
| ~DFS (void) | |
| Destructor. | |
Protected Member Functions | |
| Space * | reset (Space *s) |
| Reset engine to restart at space s and return new root. | |
| Gecode::Search::Sequential::DFS::DFS | ( | Space * | s, |
| size_t | sz, | ||
| const Options & | o | ||
| ) | [inline] |
| Gecode::Search::Sequential::DFS::~DFS | ( | void | ) | [inline] |
| Space * Gecode::Search::Sequential::DFS::reset | ( | Space * | s | ) | [inline, protected] |
| Space * Gecode::Search::Sequential::DFS::next | ( | void | ) | [inline] |
Search for next solution
Reimplemented in Gecode::Search::Sequential::Restart.
| Statistics Gecode::Search::Sequential::DFS::statistics | ( | void | ) | const [inline] |