cprover
time_periodt Member List

This is the complete list of members for time_periodt, including all inherited members.

as_string() consttime_periodt
clear()fine_timetinline
fine_timet()fine_timetinline
fine_timet(unsigned long long _t)fine_timetinlineexplicit
get_t() constfine_timetinline
operator+(const time_periodt &other)time_periodtinline
operator+=(const time_periodt &other)time_periodtinline
operator-(const time_periodt &other)time_periodtinline
tfine_timetprotected
time_periodt()time_periodtinline
time_periodt(unsigned long long _t)time_periodtinlineexplicit