
Statistics about the search tree More...
#include <spacenode.hh>
Public Member Functions | |
| Statistics (void) | |
| Constructor. 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... | |
Public Attributes | |
| int | solutions |
| Number of solutions. More... | |
| int | failures |
| Number of failures. More... | |
| int | choices |
| Number of choice nodes. More... | |
| int | undetermined |
| Number of open, undetermined nodes. More... | |
| int | maxDepth |
| Maximum depth of the tree. 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... | |
Statistics about the search tree
Definition at line 63 of file spacenode.hh.
|
inline |
Constructor.
Definition at line 77 of file spacenode.hh.
| int Gecode::Gist::Statistics::solutions |
Number of solutions.
Definition at line 66 of file spacenode.hh.
| int Gecode::Gist::Statistics::failures |
Number of failures.
Definition at line 68 of file spacenode.hh.
| int Gecode::Gist::Statistics::choices |
Number of choice nodes.
Definition at line 70 of file spacenode.hh.
| int Gecode::Gist::Statistics::undetermined |
Number of open, undetermined nodes.
Definition at line 72 of file spacenode.hh.
| int Gecode::Gist::Statistics::maxDepth |
Maximum depth of the tree.
Definition at line 74 of file spacenode.hh.