|
smats
0.0.1
Satisfability Modulo Arithmetic Theories Symbols
|
Additional Inherited Members | |
![]() | |
using | clock |
typedef clock::duration | duration |
typedef clock::time_point | time_point |
![]() | |
TimerBase () | |
void | start () |
void | pause () |
void | resume () |
bool | is_running () const |
duration | elapsed () const |
std::chrono::duration< double >::rep | seconds () const |
TimerBase< user_clock > & | operator+= (const TimerBase< user_clock > &other) |
TimerBase< user_clock > | operator+ (const TimerBase< user_clock > &other) const |
![]() | |
time_point | now () const |