Gecode::Search::DfsEngine Class Reference
#include <search.hh>
Inherits Gecode::Search::EngineCtrl.
List of all members.
Detailed Description
Depth-first search engine implementation.
Definition at line 376 of file search.hh.
|
Public Member Functions |
| DfsEngine (unsigned int c_d, unsigned int a_d, Stop *st, size_t sz) |
| Initialize engine.
|
void | init (Space *s) |
| Initialize engine to start at space s.
|
void | reset (Space *s) |
| Reset engine to restart at space s.
|
void | reset (void) |
| Reset engine to restart at failed space.
|
Space * | explore (void) |
| Search for next solution
|
size_t | stacksize (void) const |
| Return stack size used by engine.
|
| ~DfsEngine (void) |
| Destructor.
|
Constructor & Destructor Documentation
Gecode::Search::DfsEngine::DfsEngine |
( |
unsigned int |
c_d, |
|
|
unsigned int |
a_d, |
|
|
Stop * |
st, |
|
|
size_t |
sz | |
|
) |
| | [inline] |
Initialize engine.
- Parameters:
-
| c_d | minimal recomputation distance |
| a_d | adaptive recomputation distance |
| st | Stop-object |
| sz | size of one space |
Definition at line 47 of file dfs.icc.
Gecode::Search::DfsEngine::~DfsEngine |
( |
void |
|
) |
[inline] |
Destructor.
Definition at line 130 of file dfs.icc.
Member Function Documentation
void Gecode::Search::DfsEngine::init |
( |
Space * |
s |
) |
[inline] |
Initialize engine to start at space s.
Definition at line 53 of file dfs.icc.
void Gecode::Search::DfsEngine::reset |
( |
Space * |
s |
) |
[inline] |
Reset engine to restart at space s.
Definition at line 58 of file dfs.icc.
void Gecode::Search::DfsEngine::reset |
( |
void |
|
) |
[inline] |
Space * Gecode::Search::DfsEngine::explore |
( |
void |
|
) |
[inline] |
Search for next solution
Definition at line 81 of file dfs.icc.
size_t Gecode::Search::DfsEngine::stacksize |
( |
void |
|
) |
const [inline] |
Return stack size used by engine.
Definition at line 76 of file dfs.icc.
The documentation for this class was generated from the following files: