40 namespace Gecode {
namespace Search {
50 : fail(0), node(0), depth(0),
51 restart(0), nogood(0) {}
55 (void) StatusStatistics::operator +=(s);
const FloatNum max
Largest allowed float value.
unsigned long int fail
Number of failed nodes in search tree.
unsigned long int nogood
Number of no-goods posted.
unsigned long int depth
Maximum depth of search stack.
Statistics & operator+=(const Statistics &s)
Increment by statistics s.
void reset(void)
Reset information.
Statistics(void)
Initialize.
Statistics operator+(const Statistics &s)
Return sum with s.
unsigned long int restart
Number of restarts.
Gecode toplevel namespace
unsigned long int node
Number of nodes expanded.