cprover
|
#include <timer.h>
Public Member Functions | |
timert () | |
virtual | ~timert () |
virtual void | start () |
virtual void | stop () |
virtual void | clear () |
virtual time_periodt | total_time () const |
virtual fine_timet | latest_time () const |
virtual long | number_starts () const |
std::string | output_total_time () const |
std::string | output_latest_time () const |
Private Attributes | |
time_periodt | _total_time |
absolute_timet | _start_time |
time_periodt | _latest_time |
long | nr_starts |
bool | started |
|
virtual |
Definition at line 41 of file timer.cpp.
References _start_time, _total_time, and fine_timet::clear().
|
inlinevirtual |
Definition at line 50 of file timer.h.
References _latest_time.
|
inlinevirtual |
|
inline |
Definition at line 65 of file timer.h.
References _latest_time, and time_periodt::as_string().
|
inline |
Definition at line 60 of file timer.h.
References _total_time, and time_periodt::as_string().
|
virtual |
Definition at line 23 of file timer.cpp.
References _start_time, current_time(), nr_starts, and started.
|
virtual |
Definition at line 32 of file timer.cpp.
References _latest_time, _start_time, _total_time, current_time(), and started.
|
inlinevirtual |
|
private |
Definition at line 25 of file timer.h.
Referenced by latest_time(), output_latest_time(), and stop().
|
private |
|
private |
Definition at line 23 of file timer.h.
Referenced by clear(), output_total_time(), stop(), and total_time().
|
private |
Definition at line 26 of file timer.h.
Referenced by number_starts(), and start().
|
private |