Search engine statistics
More...
#include <search.hh>
|
unsigned long int | fail |
| Number of failed nodes in search tree.
|
unsigned long int | node |
| Number of nodes expanded.
|
unsigned long int | depth |
| Maximum depth of search stack.
|
unsigned long int | restart |
| Number of restarts.
|
unsigned long int | nogood |
| Number of no-goods posted.
|
unsigned long int | propagate |
| Number of propagator executions.
|
Search engine statistics
Definition at line 147 of file search.hh.
◆ Statistics()
Gecode::Search::Statistics::Statistics |
( |
void | | ) |
|
|
inline |
◆ reset()
void Gecode::Search::Statistics::reset |
( |
void | | ) |
|
|
inline |
◆ operator+()
◆ operator+=()
◆ fail
unsigned long int Gecode::Search::Statistics::fail |
Number of failed nodes in search tree.
Definition at line 150 of file search.hh.
◆ node
unsigned long int Gecode::Search::Statistics::node |
Number of nodes expanded.
Definition at line 152 of file search.hh.
◆ depth
unsigned long int Gecode::Search::Statistics::depth |
Maximum depth of search stack.
Definition at line 154 of file search.hh.
◆ restart
unsigned long int Gecode::Search::Statistics::restart |
Number of restarts.
Definition at line 156 of file search.hh.
◆ nogood
unsigned long int Gecode::Search::Statistics::nogood |
Number of no-goods posted.
Definition at line 158 of file search.hh.
The documentation for this class was generated from the following files: