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] |