dReal4
Timer Class Reference

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.
 

Detailed Description

Simple timer class to profile performance.


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