Generated on Mon Sep 22 2014 12:49:37 for Gecode by doxygen 1.8.7
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 1273 of file core.hpp.

Constructor & Destructor Documentation

Gecode::StatusStatistics::StatusStatistics ( void  )
inline

Initialize.

Definition at line 3865 of file core.hpp.

Member Function Documentation

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

Reset information.

Definition at line 3860 of file core.hpp.

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

Return sum with s.

Definition at line 3875 of file core.hpp.

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

Increment by statistics s.

Definition at line 3869 of file core.hpp.

Member Data Documentation

unsigned long int Gecode::StatusStatistics::propagate

Number of propagator executions.

Definition at line 1276 of file core.hpp.

bool Gecode::StatusStatistics::wmp

Whether a weakly monotonic propagator might have been executed.

Definition at line 1278 of file core.hpp.


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