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.