Generated on Sat Feb 7 2015 02:01:41 for Gecode by doxygen 1.8.9.1
Gecode::StatusStatistics Class Reference

Statistics for execution of status More...

#include <core.hpp>

Public Member Functions

 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 propagate
 Number of propagator executions. More...
 
bool wmp
 Whether a weakly monotonic propagator might have been executed. More...
 

Detailed Description

Statistics for execution of status

Definition at line 1310 of file core.hpp.

Constructor & Destructor Documentation

Gecode::StatusStatistics::StatusStatistics ( void  )
inline

Initialize.

Definition at line 3942 of file core.hpp.

Member Function Documentation

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

Reset information.

Definition at line 3937 of file core.hpp.

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

Return sum with s.

Definition at line 3952 of file core.hpp.

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

Increment by statistics s.

Definition at line 3946 of file core.hpp.

Member Data Documentation

unsigned long int Gecode::StatusStatistics::propagate

Number of propagator executions.

Definition at line 1313 of file core.hpp.

bool Gecode::StatusStatistics::wmp

Whether a weakly monotonic propagator might have been executed.

Definition at line 1315 of file core.hpp.


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