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. | |
bool | wmp |
Whether a weakly monotonic propagator might have been executed. |
|
inline |
|
inline |
Reset information.
Reimplemented in Gecode::Search::Statistics, and Gecode::Search::Worker.
|
inline |
|
inline |
unsigned long int Gecode::StatusStatistics::propagate |
bool Gecode::StatusStatistics::wmp |