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 |