cprover
|
#include <time_stopping.h>
Public Member Functions | |
time_periodt () | |
time_periodt (unsigned long long _t) | |
std::string | as_string () const |
time_periodt & | operator+= (const time_periodt &other) |
time_periodt | operator+ (const time_periodt &other) |
time_periodt | operator- (const time_periodt &other) |
![]() | |
fine_timet () | |
fine_timet (unsigned long long _t) | |
unsigned long long | get_t () const |
void | clear () |
Additional Inherited Members | |
![]() | |
unsigned long long | t |
Definition at line 45 of file time_stopping.h.
|
inline |
Definition at line 48 of file time_stopping.h.
|
inlineexplicit |
Definition at line 52 of file time_stopping.h.
References as_string().
std::string time_periodt::as_string | ( | ) | const |
Definition at line 64 of file time_stopping.cpp.
Referenced by timert::output_latest_time(), and timert::output_total_time().
|
inline |
Definition at line 64 of file time_stopping.h.
References fine_timet::t.
|
inline |
Definition at line 58 of file time_stopping.h.
References fine_timet::t.
|
inline |
Definition at line 71 of file time_stopping.h.
References fine_timet::t.