Parallel branch-and-bound search worker More...
#include <bab.hh>
Public Member Functions | |
Worker (Space *s, BAB &e) | |
Initialize for space s with engine e. | |
BAB & | engine (void) const |
Provide access to engine. | |
virtual void | run (void) |
Start execution of worker. | |
void | better (Space *b) |
Accept better solution b. | |
void | find (void) |
Try to find some work. | |
void | reset (Space *s, unsigned int ngdl) |
Reset engine to restart at space s. | |
virtual | ~Worker (void) |
Destructor. | |
Public Member Functions inherited from Gecode::Search::Par::Engine< Tracer >::Worker | |
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 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 | ~Runnable (void) |
Destructor. |
Protected Attributes | |
int | mark |
Number of entries not yet constrained to be better. | |
Space * | best |
Best solution found so far. | |
Protected Attributes inherited from Gecode::Search::Par::Engine< Tracer >::Worker | |
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. | |
Public Attributes inherited from Gecode::Search::Par::Engine< Tracer >::Worker | |
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. |
Parallel branch-and-bound search worker
|
inline |
|
virtual |
Destructor.
Reimplemented from Gecode::Search::Par::Engine< Tracer >::Worker.
|
inline |
|
virtual |
Start execution of worker.
Implements Gecode::Support::Runnable.
|
inline |
|
inline |
|
inline |
|
protected |
|
protected |