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. | |
StatusStatistics & | operator+= (const StatusStatistics &s) |
Increment by statistics s. | |
Public Attributes | |
unsigned long int | propagate |
Number of propagator executions. |
Detailed Description
Statistics for execution of status
Definition at line 1691 of file core.hpp.
Constructor & Destructor Documentation
Gecode::StatusStatistics::StatusStatistics | ( | void | ) | [inline] |
Member Function Documentation
void Gecode::StatusStatistics::reset | ( | void | ) | [inline] |
Reset information.
Reimplemented in Gecode::Search::Statistics.
StatusStatistics Gecode::StatusStatistics::operator+ | ( | const StatusStatistics & | s | ) | [inline] |
StatusStatistics & Gecode::StatusStatistics::operator+= | ( | const StatusStatistics & | s | ) | [inline] |
Member Data Documentation
unsigned long int Gecode::StatusStatistics::propagate |
The documentation for this class was generated from the following file:
- gecode/kernel/core.hpp