Statistics for execution of status
More...
#include <core.hpp>
|
unsigned long int | propagate |
| Number of propagator executions.
|
Statistics for execution of status
Definition at line 1693 of file core.hpp.
◆ StatusStatistics()
Gecode::StatusStatistics::StatusStatistics |
( |
void | | ) |
|
|
inline |
◆ reset()
void Gecode::StatusStatistics::reset |
( |
void | | ) |
|
|
inline |
Reset information.
Definition at line 4697 of file core.hpp.
◆ operator+()
Return sum with s.
Definition at line 4710 of file core.hpp.
◆ operator+=()
Increment by statistics s.
Definition at line 4705 of file core.hpp.
◆ propagate
unsigned long int Gecode::StatusStatistics::propagate |
Number of propagator executions.
Definition at line 1696 of file core.hpp.
The documentation for this class was generated from the following file: