10#ifndef MCRL2_UTILITIES_STOPWATCH_H_
11#define MCRL2_UTILITIES_STOPWATCH_H_
33 return std::chrono::duration_cast<std::chrono::milliseconds>(std::chrono::steady_clock::now() -
m_timestamp).count();
39 return std::chrono::duration<double>(std::chrono::steady_clock::now() -
m_timestamp).count();
43 std::chrono::time_point<std::chrono::steady_clock>
m_timestamp;
Implements a simple stopwatch that starts on construction.
void reset()
Reset the stopwatch to count from this moment onwards.
std::chrono::time_point< std::chrono::steady_clock > m_timestamp