Generated on Wed Nov 5 2014 05:18:39 for Gecode by doxygen 1.7.6.1
Gecode::StatusStatistics Class Reference

Statistics for execution of status More...

#include <core.hpp>

List of all members.

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 1273 of file core.hpp.


Constructor & Destructor Documentation

Initialize.

Definition at line 3865 of file core.hpp.


Member Function Documentation

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

Reset information.

Reimplemented in Gecode::Search::Statistics.

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

Number of propagator executions.

Definition at line 1276 of file core.hpp.

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: