Probe engine for LDS More...
#include <lds.hh>
Classes | |
class | Node |
Node in the search tree for LDS More... | |
Public Member Functions | |
Probe (const Options &opt) | |
Initialize. More... | |
void | init (Space *s) |
Initialize with space s. More... | |
void | reset (Space *s, unsigned int d) |
Reset with space s and discrepancy d. More... | |
Statistics | statistics (void) const |
Return statistics. More... | |
~Probe (void) | |
Destructor. More... | |
Space * | next (const Options &o) |
Search for next solution More... | |
bool | done (void) const |
Test whether probing is done. More... | |
![]() | |
Worker (void) | |
Initialize. More... | |
void | start (void) |
Reset stop information. More... | |
bool | stop (const Options &o) |
Check whether engine must be stopped. More... | |
bool | stopped (void) const |
Check whether engine has been stopped. More... | |
void | reset (unsigned long int d=0) |
Reset statistics with root depth d. More... | |
void | stack_depth (unsigned long int d) |
Record stack depth d. More... | |
unsigned long int | steal_depth (unsigned long int d) const |
Return steal depth. More... | |
![]() | |
Statistics (void) | |
Initialize. More... | |
void | reset (void) |
Reset. More... | |
Statistics | operator+ (const Statistics &s) |
Return sum with s. More... | |
Statistics & | operator+= (const Statistics &s) |
Increment by statistics s. More... | |
![]() | |
StatusStatistics (void) | |
Initialize. More... | |
void | reset (void) |
Reset information. More... | |
StatusStatistics | operator+ (const StatusStatistics &s) |
Return sum with s. More... | |
StatusStatistics & | operator+= (const StatusStatistics &s) |
Increment by statistics s. More... | |
Protected Types | |
typedef Tracer::ID | ID |
Node identity type. More... | |
Protected Attributes | |
Tracer | tracer |
Search tracer. More... | |
Support::DynamicStack< Node, Heap > | ds |
Stack storing current path in search tree More... | |
Space * | cur |
Current space. More... | |
unsigned int | d |
Current discrepancy. More... | |
bool | exhausted |
Whether entire search space has been exhausted. More... | |
![]() | |
bool | _stopped |
Whether engine has been stopped. More... | |
unsigned long int | root_depth |
Depth of root node (for work stealing) More... | |
Additional Inherited Members | |
![]() | |
unsigned long int | fail |
Number of failed nodes in search tree. More... | |
unsigned long int | node |
Number of nodes expanded. More... | |
unsigned long int | depth |
Maximum depth of search stack. More... | |
unsigned long int | restart |
Number of restarts. More... | |
unsigned long int | nogood |
Number of no-goods posted. More... | |
![]() | |
unsigned long int | propagate |
Number of propagator executions. More... | |
Probe engine for LDS
|
protected |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |