Generated on Sat Feb 7 2015 02:01:50 for Gecode by doxygen 1.8.9.1
Gecode::Search::Statistics Class Reference

Search engine statistics More...

#include <search.hh>

Public Member Functions

 Statistics (void)
 Initialize. More...
 
void reset (void)
 Reset. More...
 
Statistics operator+ (const Statistics &s)
 Return sum with s. More...
 
Statisticsoperator+= (const Statistics &s)
 Increment by statistics s. More...
 
- Public Member Functions inherited from Gecode::StatusStatistics
 StatusStatistics (void)
 Initialize. More...
 
void reset (void)
 Reset information. More...
 
StatusStatistics operator+ (const StatusStatistics &s)
 Return sum with s. More...
 
StatusStatisticsoperator+= (const StatusStatistics &s)
 Increment by statistics s. More...
 

Public Attributes

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...
 
- Public Attributes inherited from Gecode::StatusStatistics
unsigned long int propagate
 Number of propagator executions. More...
 
bool wmp
 Whether a weakly monotonic propagator might have been executed. More...
 

Detailed Description

Search engine statistics

Definition at line 136 of file search.hh.

Constructor & Destructor Documentation

Gecode::Search::Statistics::Statistics ( void  )
inline

Initialize.

Definition at line 49 of file statistics.hpp.

Member Function Documentation

void Gecode::Search::Statistics::reset ( void  )
inline

Reset.

Definition at line 43 of file statistics.hpp.

Statistics Gecode::Search::Statistics::operator+ ( const Statistics s)
inline

Return sum with s.

Definition at line 65 of file statistics.hpp.

Statistics & Gecode::Search::Statistics::operator+= ( const Statistics s)
inline

Increment by statistics s.

Definition at line 54 of file statistics.hpp.

Member Data Documentation

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: