Statistics about the search tree More...
#include <spacenode.hh>
Public Member Functions | |
Statistics (void) | |
Constructor. 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... | |
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... | |
![]() | |
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.