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