|
|
dlinear
0.0.1
Delta-complete SMT solver for linear programming
|
Timer class using the user_clock. More...
#include <Timer.h>
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. | |
Timer class using the user_clock.