10#include <boost/timer/timer.hpp> 
   38  Timer(std::optional<std::string> task = std::nullopt);
 
   54  std::array<double, 3> 
elapsed() 
const;
 
   58  std::optional<std::string> _task;
 
   61  boost::timer::cpu_timer _timer;
 
 
double stop()
Definition Timer.cpp:38
void resume()
Resume timer. Not well-defined for logging timer.
Definition Timer.cpp:27
~Timer()
Destructor.
Definition Timer.cpp:19
void start()
Zero and start timer.
Definition Timer.cpp:25
std::array< double, 3 > elapsed() const
Return wall, user and system time in seconds.
Definition Timer.cpp:47
Timer(std::optional< std::string > task=std::nullopt)
Definition Timer.cpp:17
Miscellaneous classes, functions and types.
Definition dolfinx_common.h:8