Gecode::Search::Parallel::DFS Class Reference
Parallel depth-first search engine
More...
#include <dfs.hh>
List of all members.
Classes |
class | Worker |
| Parallel depth-first search worker More...
|
Public Member Functions |
Worker * | worker (unsigned int i) const |
| Provide access to worker i.
|
Protected Attributes |
Worker ** | _worker |
| Array of worker references.
|
Search control |
|
void | solution (Space *s) |
| Report solution s.
|
Space * | reset (Space *s) |
| Reset engine to restart at space s and return new root space.
|
Engine interface |
|
| DFS (Space *s, size_t sz, const Options &o) |
| Initialize for space s (of size sz) with options o.
|
virtual Statistics | statistics (void) const |
| Return statistics.
|
virtual | ~DFS (void) |
| Destructor.
|
Detailed Description
Parallel depth-first search engine
Definition at line 46 of file dfs.hh.
Constructor & Destructor Documentation
Gecode::Search::Parallel::DFS::DFS |
( |
Space * |
s, |
|
|
size_t |
sz, |
|
|
const Options & |
o | |
|
) |
| | [inline] |
Initialize for space s (of size sz) with options o.
Definition at line 108 of file dfs.hh.
Gecode::Search::Parallel::DFS::~DFS |
( |
void |
|
) |
[virtual] |
Destructor.
Definition at line 167 of file dfs.cpp.
Member Function Documentation
DFS::Worker * Gecode::Search::Parallel::DFS::worker |
( |
unsigned int |
i |
) |
const [inline] |
Provide access to worker i.
Definition at line 96 of file dfs.hh.
void Gecode::Search::Parallel::DFS::solution |
( |
Space * |
s |
) |
[inline] |
Report solution s.
Definition at line 158 of file dfs.hh.
Space * Gecode::Search::Parallel::DFS::reset |
( |
Space * |
s |
) |
[inline] |
Reset engine to restart at space s and return new root space.
Definition at line 146 of file dfs.hh.
Statistics Gecode::Search::Parallel::DFS::statistics |
( |
void |
|
) |
const [virtual] |
Member Data Documentation
Array of worker references.
Definition at line 63 of file dfs.hh.
The documentation for this class was generated from the following files: