Statistics for execution of clone
More...
#include <gecode/kernel/core.hpp>
Statistics for execution of clone
Definition at line 1742 of file core.hpp.
◆ CloneStatistics()
| Gecode::CloneStatistics::CloneStatistics |
( |
void | | ) |
|
|
inline |
◆ reset()
| void Gecode::CloneStatistics::reset |
( |
void | | ) |
|
|
inline |
Reset information.
Definition at line 4885 of file core.hpp.
◆ operator+()
Return sum with s.
Definition at line 4892 of file core.hpp.
◆ operator+=()
Increment by statistics s.
Definition at line 4897 of file core.hpp.
The documentation for this class was generated from the following file: