10#include <boost/timer/timer.hpp> 
   37  Timer(
const std::string& task);
 
   53  std::array<double, 3> 
elapsed() 
const;
 
   60  boost::timer::cpu_timer _timer;
 
 
A timer can be used for timing tasks. The basic usage is.
Definition Timer.h:31
 
double stop()
Stop timer, return wall time elapsed and store timing data into logger.
Definition Timer.cpp:45
 
void resume()
Resume timer. Not well-defined for logging timer.
Definition Timer.cpp:34
 
~Timer()
Destructor.
Definition Timer.cpp:26
 
void start()
Zero and start timer.
Definition Timer.cpp:32
 
Timer()
Create timer without logging.
Definition Timer.cpp:16
 
std::array< double, 3 > elapsed() const
Return wall, user and system time in seconds.
Definition Timer.cpp:54
 
Miscellaneous classes, functions and types.
Definition dolfinx_common.h:8