
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... | |
Public Member Functions inherited from Gecode::Search::Worker | |
| 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... | |
Public Member Functions inherited from Gecode::Search::Statistics | |
| 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... | |
Public Member Functions inherited from Gecode::StatusStatistics | |
| 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... | |
Protected Attributes inherited from Gecode::Search::Worker | |
| bool | _stopped |
| Whether engine has been stopped. More... | |
| unsigned long int | root_depth |
| Depth of root node (for work stealing) More... | |
Additional Inherited Members | |
Public Attributes inherited from Gecode::Search::Statistics | |
| 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... | |
Public Attributes inherited from Gecode::StatusStatistics | |
| 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 |