
Parallel depth-first search worker More...
#include <engine.hh>
Public Member Functions | |
| Worker (Space *s, size_t sz, Engine &e) | |
| Initialize for space s (of size sz) with engine e. | |
| Space * | steal (unsigned long int &d) |
| Hand over some work (NULL if no work available) | |
| Statistics | statistics (void) |
| Return statistics. | |
| Engine & | engine (void) const |
| Provide access to engine. | |
| virtual | ~Worker (void) |
| Destructor. | |
Protected Attributes | |
| Engine & | _engine |
| Reference to engine. | |
| Support::Mutex | m |
| Mutex for access to worker. | |
| Path | path |
| Current path ins search tree. | |
| Space * | cur |
| Current space being explored. | |
| unsigned int | d |
| Distance until next clone. | |
| bool | idle |
| Whether worker is currently idle. | |
| Gecode::Search::Parallel::Engine::Worker::Worker | ( | Space * | s, |
| size_t | sz, | ||
| Engine & | e | ||
| ) | [inline] |
| Gecode::Search::Parallel::Engine::Worker::~Worker | ( | void | ) | [virtual] |
Destructor.
Reimplemented in Gecode::Search::Parallel::BAB::Worker.
Definition at line 109 of file engine.cpp.
| Space * Gecode::Search::Parallel::Engine::Worker::steal | ( | unsigned long int & | d | ) | [inline] |
| Statistics Gecode::Search::Parallel::Engine::Worker::statistics | ( | void | ) | [inline] |
| Engine & Gecode::Search::Parallel::Engine::Worker::engine | ( | void | ) | const [inline] |
Provide access to engine.
Reimplemented in Gecode::Search::Parallel::BAB::Worker, and Gecode::Search::Parallel::DFS::Worker.
Engine& Gecode::Search::Parallel::Engine::Worker::_engine [protected] |
Path Gecode::Search::Parallel::Engine::Worker::path [protected] |
Space* Gecode::Search::Parallel::Engine::Worker::cur [protected] |
unsigned int Gecode::Search::Parallel::Engine::Worker::d [protected] |
bool Gecode::Search::Parallel::Engine::Worker::idle [protected] |