12 #ifndef CPROVER_UTIL_TIMER_H 13 #define CPROVER_UTIL_TIMER_H 76 #endif // CPROVER_UTIL_TIMER_H std::string as_string() const
time_periodt _latest_time
absolute_timet _start_time
virtual fine_timet latest_time() const
virtual time_periodt total_time() const
std::string output_latest_time() const
std::ostream & operator<<(std::ostream &out, const timert &timer)
std::string output_total_time() const
virtual long number_starts() const