dlinear  0.0.1
Delta-complete SMT solver for linear programming
Loading...
Searching...
No Matches
dlinear::UserTimer Class Reference

Timer class using the user_clock. More...

#include <Timer.h>

Inheritance diagram for dlinear::UserTimer:
dlinear::TimerBase< user_clock >

Additional Inherited Members

- Public Member Functions inherited from dlinear::TimerBase< user_clock >
 TimerBase ()
 Construct a new TimerBase object.
 
void Start ()
 Start the timer.
 
void Pause ()
 Pause the timer.
 
void Resume ()
 Resume the timer.
 
bool is_running () const
 Check whether the timer is running.
 
duration elapsed () const
 Get read-only access to the duration of elapsed time of the timer.
 
std::chrono::duration< double >::rep seconds () const
 Get read-only access to the number elapsed seconds of the timer.
 
- Protected Member Functions inherited from dlinear::TimerBase< user_clock >
time_point now () const
 Get read-only access to the current instant of the timer.
 

Detailed Description

Timer class using the user_clock.

Definition at line 108 of file Timer.h.


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