51 (void) StatusStatistics::operator +=(s);
Statistics(void)
Initialize.
unsigned long int restart
Number of restarts.
Statistics & operator+=(const Statistics &s)
Increment by statistics s.
unsigned long int depth
Maximum depth of search stack.
unsigned long int fail
Number of failed nodes in search tree.
unsigned long int node
Number of nodes expanded.
Statistics operator+(const Statistics &s)
Return sum with s.
unsigned long int nogood
Number of no-goods posted.
void reset(void)
Reset information.
Gecode toplevel namespace