Statistics for execution of status
More...
#include <core.hpp>
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 1129 of file core.hpp.
Constructor & Destructor Documentation
Gecode::StatusStatistics::StatusStatistics |
( |
void |
| ) |
|
|
inline |
Member Function Documentation
void Gecode::StatusStatistics::reset |
( |
void |
| ) |
|
|
inline |
Return sum with s.
Definition at line 3440 of file core.hpp.
Increment by statistics s.
Definition at line 3434 of file core.hpp.
Member Data Documentation
unsigned long int Gecode::StatusStatistics::propagate |
Number of propagator executions.
Definition at line 1132 of file core.hpp.
bool Gecode::StatusStatistics::wmp |
Whether a weakly monotonic propagator might have been executed.
Definition at line 1134 of file core.hpp.
The documentation for this class was generated from the following file: