Generated on Mon Aug 27 2012 17:15:58 for Gecode by doxygen 1.8.1.2
Gecode::StatusStatistics Class Reference

Statistics for execution of status More...

#include <core.hpp>

Public Member Functions

 StatusStatistics (void)
 Initialize.
void reset (void)
 Reset information.
StatusStatistics operator+ (const StatusStatistics &s)
 Return sum with s.
StatusStatisticsoperator+= (const StatusStatistics &s)
 Increment by statistics s.

Public Attributes

unsigned long int propagate
 Number of propagator executions.
bool wmp
 Whether a weakly monotonic propagator might have been executed.

Detailed Description

Statistics for execution of status

Definition at line 1129 of file core.hpp.

Constructor & Destructor Documentation

Gecode::StatusStatistics::StatusStatistics ( void  )
inline

Initialize.

Definition at line 3430 of file core.hpp.

Member Function Documentation

void Gecode::StatusStatistics::reset ( void  )
inline

Reset information.

Reimplemented in Gecode::Search::Statistics, and Gecode::Search::Worker.

Definition at line 3425 of file core.hpp.

StatusStatistics Gecode::StatusStatistics::operator+ ( const StatusStatistics s)
inline

Return sum with s.

Definition at line 3440 of file core.hpp.

StatusStatistics & Gecode::StatusStatistics::operator+= ( const StatusStatistics s)
inline

Increment by statistics s.

Definition at line 3434 of file core.hpp.

Member Data Documentation

unsigned long int Gecode::StatusStatistics::propagate

Number of propagator executions.

Definition at line 1132 of file core.hpp.

bool Gecode::StatusStatistics::wmp

Whether a weakly monotonic propagator might have been executed.

Definition at line 1134 of file core.hpp.


The documentation for this class was generated from the following file: