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