Gecode::CloneStatistics Class Reference
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. |
Detailed Description
Statistics for execution of clone
Definition at line 1716 of file core.hpp.
Constructor & Destructor Documentation
Gecode::CloneStatistics::CloneStatistics | ( | void | ) | [inline] |
Member Function Documentation
void Gecode::CloneStatistics::reset | ( | void | ) | [inline] |
CloneStatistics Gecode::CloneStatistics::operator+ | ( | const CloneStatistics & | s | ) | [inline] |
CloneStatistics & Gecode::CloneStatistics::operator+= | ( | const CloneStatistics & | s | ) | [inline] |
The documentation for this class was generated from the following file:
- gecode/kernel/core.hpp (Revision: 15597)