
Depth-first search engine implementation. More...
#include <dfs.hh>
Public Member Functions | |
| DFS (Space *s, const Options &o) | |
| Initialize for space s with options o. More... | |
| Space * | next (void) |
| Search for next solution More... | |
| Statistics | statistics (void) const |
| Return statistics. More... | |
| void | reset (Space *s) |
| Reset engine to restart at space s. More... | |
| NoGoods & | nogoods (void) |
| Return no-goods. More... | |
| ~DFS (void) | |
| Destructor. 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... | |
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... | |
| bool | wmp |
| Whether a weakly monotonic propagator might have been executed. 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... | |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |