smats  0.0.1
Satisfability Modulo Arithmetic Theories Symbols
Loading...
Searching...
No Matches
smats::UserTimer Class Reference
Inheritance diagram for smats::UserTimer:
smats::TimerBase< user_clock >

Additional Inherited Members

- Public Types inherited from smats::TimerBase< user_clock >
using clock
 
typedef clock::duration duration
 
typedef clock::time_point time_point
 
- Public Member Functions inherited from smats::TimerBase< user_clock >
 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_clockoperator+ (const TimerBase< user_clock > &other) const
 
- Protected Member Functions inherited from smats::TimerBase< user_clock >
time_point now () const
 

The documentation for this class was generated from the following file: