Search engine statistics
More...
#include <search.hh>
|
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...
|
|
size_t | memory |
| Peak memory allocated. More...
|
|
unsigned long int | propagate |
| Number of propagator executions. More...
|
|
bool | wmp |
| Whether a weakly monotonic propagator might have been executed. More...
|
|
Search engine statistics
Definition at line 105 of file search.hh.
Gecode::Search::Statistics::Statistics |
( |
void |
| ) |
|
|
inline |
void Gecode::Search::Statistics::reset |
( |
void |
| ) |
|
|
inline |
unsigned long int Gecode::Search::Statistics::fail |
Number of failed nodes in search tree.
Definition at line 108 of file search.hh.
unsigned long int Gecode::Search::Statistics::node |
Number of nodes expanded.
Definition at line 110 of file search.hh.
unsigned long int Gecode::Search::Statistics::depth |
Maximum depth of search stack.
Definition at line 112 of file search.hh.
size_t Gecode::Search::Statistics::memory |
Peak memory allocated.
Definition at line 114 of file search.hh.
The documentation for this class was generated from the following files: