|
dReal4
|
Simple timer class to profile performance. More...
#include </home/soonhokong/work/dreal4/dreal/util/timer.h>
Public Types | |
| using | clock = std::conditional< std::chrono::high_resolution_clock::is_steady, std::chrono::high_resolution_clock, std::chrono::steady_clock >::type |
Public Member Functions | |
| void | start () |
| Starts the timer. | |
| void | pause () |
| Pauses the timer. | |
| void | resume () |
| Resumes the timer. | |
| bool | is_running () const |
| Checks if the timer is running. | |
| clock::duration | elapsed () const |
| Returns the elapsed time as duration. | |
| std::chrono::duration< double >::rep | seconds () const |
| Returns the elapsed time in secionds. | |
Simple timer class to profile performance.