cprover
|
#include <time_stopping.h>
Public Member Functions | |
absolute_timet () | |
absolute_timet (unsigned long long _t) | |
time_periodt | operator- (const absolute_timet &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 77 of file time_stopping.h.
|
inline |
Definition at line 80 of file time_stopping.h.
|
inlineexplicit |
Definition at line 84 of file time_stopping.h.
|
inline |
Definition at line 88 of file time_stopping.h.
References current_time(), operator<<(), and fine_timet::t.