
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... | |
| StatusStatistics & | operator+= (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... | |
|
inline |
|
inline |
|
inline |
|
inline |
| unsigned long int Gecode::StatusStatistics::propagate |
| bool Gecode::StatusStatistics::wmp |