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...
|
| |
| unsigned long int | restart |
| | Number of restarts. More...
|
| |
| unsigned long int | nogood |
| | Number of no-goods posted. 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 136 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 139 of file search.hh.
| unsigned long int Gecode::Search::Statistics::node |
Number of nodes expanded.
Definition at line 141 of file search.hh.
| unsigned long int Gecode::Search::Statistics::depth |
Maximum depth of search stack.
Definition at line 143 of file search.hh.
| unsigned long int Gecode::Search::Statistics::restart |
Number of restarts.
Definition at line 145 of file search.hh.
| unsigned long int Gecode::Search::Statistics::nogood |
Number of no-goods posted.
Definition at line 147 of file search.hh.
The documentation for this class was generated from the following files: