14 #ifndef CPROVER_UTIL_TIME_STOPPING_H 15 #define CPROVER_UTIL_TIME_STOPPING_H 31 unsigned long long get_t()
const 98 #endif // CPROVER_UTIL_TIME_STOPPING_H time_periodt operator-(const time_periodt &other)
std::string as_string() const
time_periodt operator-(const absolute_timet &other)
fine_timet(unsigned long long _t)
time_periodt & operator+=(const time_periodt &other)
absolute_timet(unsigned long long _t)
unsigned long long get_t() const
absolute_timet current_time()
time_periodt operator+(const time_periodt &other)
std::ostream & operator<<(std::ostream &, const time_periodt &)
time_periodt(unsigned long long _t)