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