
Statistics for execution of clone More...
#include <core.hpp>
Public Member Functions | |
| CloneStatistics (void) | |
| Initialize. | |
| void | reset (void) |
| Reset information. | |
| CloneStatistics | operator+ (const CloneStatistics &s) |
| Return sum with s. | |
| CloneStatistics & | operator+= (const CloneStatistics &s) |
| Increment by statistics s. | |
| Gecode::CloneStatistics::CloneStatistics | ( | void | ) | [inline] |
| void Gecode::CloneStatistics::reset | ( | void | ) | [inline] |
| CloneStatistics Gecode::CloneStatistics::operator+ | ( | const CloneStatistics & | s | ) | [inline] |
| CloneStatistics & Gecode::CloneStatistics::operator+= | ( | const CloneStatistics & | s | ) | [inline] |