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;
double stop()
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