Gecode::Search::Sequential::DFS Class Reference
Depth-first search engine implementation.
More...
#include <dfs.hh>
List of all members.
Detailed Description
Depth-first search engine implementation.
Definition at line 49 of file dfs.hh.
Constructor & Destructor Documentation
Gecode::Search::Sequential::DFS::DFS |
( |
Space * |
s, |
|
|
const Options & |
o | |
|
) |
| | [inline] |
Initialize for space s with options o.
Definition at line 77 of file dfs.hh.
Gecode::Search::Sequential::DFS::~DFS |
( |
void |
|
) |
[inline] |
Destructor.
Definition at line 184 of file dfs.hh.
Member Function Documentation
Space * Gecode::Search::Sequential::DFS::next |
( |
void |
|
) |
[inline] |
Search for next solution
Definition at line 109 of file dfs.hh.
Statistics Gecode::Search::Sequential::DFS::statistics |
( |
void |
|
) |
const [inline] |
Return statistics.
Definition at line 173 of file dfs.hh.
void Gecode::Search::Sequential::DFS::constrain |
( |
const Space & |
b |
) |
[inline] |
Constrain future solutions to be better than b (should never be called).
Definition at line 178 of file dfs.hh.
void Gecode::Search::Sequential::DFS::reset |
( |
Space * |
s |
) |
[inline] |
Reset engine to restart at space s.
Definition at line 90 of file dfs.hh.
NoGoods & Gecode::Search::Sequential::DFS::nogoods |
( |
void |
|
) |
[inline] |
Return no-goods.
Definition at line 104 of file dfs.hh.
The documentation for this class was generated from the following file: