
Parallel depth-first search worker More...
#include <engine.hh>
Public Member Functions | |
| Worker (Space *s, Engine &e) | |
| Initialize for space s with engine e. | |
| Space * | steal (unsigned long int &d, Tracer &myt, Tracer &ot) |
| Hand over some work (NULL if no work available) | |
| Statistics | statistics (void) |
| Return statistics. | |
| Engine & | engine (void) const |
| Provide access to engine. | |
| NoGoods & | nogoods (void) |
| Return no-goods. | |
| virtual | ~Worker (void) |
| Destructor. | |
| virtual Support::Terminator * | terminator (void) const |
| Terminator (engine) | |
Public Member Functions inherited from Gecode::Search::Worker | |
| Worker (void) | |
| Initialize. | |
| void | start (void) |
| Reset stop information. | |
| bool | stop (const Options &o) |
| Check whether engine must be stopped. | |
| bool | stopped (void) const |
| Check whether engine has been stopped. | |
| void | reset (unsigned long int d=0) |
| Reset statistics with root depth d. | |
| void | stack_depth (unsigned long int d) |
| Record stack depth d. | |
| unsigned long int | steal_depth (unsigned long int d) const |
| Return steal depth. | |
Public Member Functions inherited from Gecode::Search::Statistics | |
| Statistics (void) | |
| Initialize. | |
| void | reset (void) |
| Reset. | |
| Statistics | operator+ (const Statistics &s) |
| Return sum with s. | |
| Statistics & | operator+= (const Statistics &s) |
| Increment by statistics s. | |
Public Member Functions inherited from Gecode::StatusStatistics | |
| StatusStatistics (void) | |
| Initialize. | |
| void | reset (void) |
| Reset information. | |
| StatusStatistics | operator+ (const StatusStatistics &s) |
| Return sum with s. | |
| StatusStatistics & | operator+= (const StatusStatistics &s) |
| Increment by statistics s. | |
Public Member Functions inherited from Gecode::Support::Runnable | |
| Runnable (bool d=true) | |
| Initialize, d defines whether object is deleted when terminated. | |
| void | todelete (bool d) |
| Set whether to delete upon termination. | |
| bool | todelete (void) const |
| Return whether to be deleted upon termination. | |
| virtual void | run (void)=0 |
| The function that is executed when the thread starts. | |
| virtual | ~Runnable (void) |
| Destructor. | |
Public Attributes | |
| Tracer | tracer |
| Search tracer. | |
Public Attributes inherited from Gecode::Search::Statistics | |
| unsigned long int | fail |
| Number of failed nodes in search tree. | |
| unsigned long int | node |
| Number of nodes expanded. | |
| unsigned long int | depth |
| Maximum depth of search stack. | |
| unsigned long int | restart |
| Number of restarts. | |
| unsigned long int | nogood |
| Number of no-goods posted. | |
Public Attributes inherited from Gecode::StatusStatistics | |
| unsigned long int | propagate |
| Number of propagator executions. | |
Protected Attributes | |
| Engine & | _engine |
| Reference to engine. | |
| Support::Mutex | m |
| Mutex for access to worker. | |
| Path< Tracer > | path |
| Current path ins search tree. | |
| Space * | cur |
| Current space being explored. | |
| unsigned int | d |
| Distance until next clone. | |
| bool | idle |
| Whether the worker is idle. | |
Protected Attributes inherited from Gecode::Search::Worker | |
| bool | _stopped |
| Whether engine has been stopped. | |
| unsigned long int | root_depth |
| Depth of root node (for work stealing) | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::Support::Runnable | |
| static void * | operator new (size_t s) |
| Allocate memory from heap. | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. | |
Parallel depth-first search worker
|
inline |
Initialize for space s with engine e.
Definition at line 95 of file engine.hpp.
|
virtual |
Destructor.
Reimplemented in Gecode::Search::Par::BAB< Tracer >::Worker.
Definition at line 358 of file engine.hpp.
|
inline |
Hand over some work (NULL if no work available)
Definition at line 265 of file engine.hpp.
|
inline |
Return statistics.
Definition at line 134 of file engine.hpp.
|
inline |
Provide access to engine.
Definition at line 42 of file engine.hpp.
|
inline |
Return no-goods.
Definition at line 289 of file engine.hpp.
|
virtual |
Terminator (engine)
Reimplemented from Gecode::Support::Runnable.
Definition at line 350 of file engine.hpp.
| Tracer Gecode::Search::Par::Engine< Tracer >::Worker::tracer |
|
protected |
|
protected |
|
protected |
|
protected |