Parallel depth-first search worker More...
#include <dfs.hh>
Public Member Functions | |
Worker (Space *s, size_t sz, DFS &e) | |
Initialize for space s (of size sz) with engine e. | |
DFS & | engine (void) const |
Provide access to engine. | |
virtual void | run (void) |
Start execution of worker. | |
void | find (void) |
Try to find some work. | |
Space * | reset (Space *s) |
Reset engine to restart at space s and return new root space. |
Gecode::Search::Parallel::DFS::Worker::Worker | ( | Space * | s, |
size_t | sz, | ||
DFS & | e | ||
) | [inline] |
DFS & Gecode::Search::Parallel::DFS::Worker::engine | ( | void | ) | const [inline] |
Provide access to engine.
Reimplemented from Gecode::Search::Parallel::Engine::Worker.
void Gecode::Search::Parallel::DFS::Worker::run | ( | void | ) | [virtual] |
Start execution of worker.
Implements Gecode::Support::Runnable.
void Gecode::Search::Parallel::DFS::Worker::find | ( | void | ) | [inline] |
Space * Gecode::Search::Parallel::DFS::Worker::reset | ( | Space * | s | ) | [inline] |