cprover
|
#include <time_stopping.h>
Public Member Functions | |
fine_timet () | |
fine_timet (unsigned long long _t) | |
unsigned long long | get_t () const |
void | clear () |
Protected Attributes | |
unsigned long long | t |
Definition at line 20 of file time_stopping.h.
|
inline |
Definition at line 23 of file time_stopping.h.
|
inlineexplicit |
Definition at line 27 of file time_stopping.h.
|
inline |
|
inline |
Definition at line 31 of file time_stopping.h.
References t.
Referenced by path_searcht::drop_state(), and operator<<().
|
protected |
Definition at line 42 of file time_stopping.h.
Referenced by clear(), get_t(), time_periodt::operator+(), time_periodt::operator+=(), time_periodt::operator-(), and absolute_timet::operator-().