stopwatch

Include file:

#include "mcrl2/utilities/stopwatch.h
class stopwatch

Implements a simple stopwatch that starts on construction.

Private attributes

std::chrono::time_point<std::chrono::system_clock> stopwatch::m_timestamp

Public member functions

void reset()

Reset the stopwatch to count from this moment onwards.

stopwatch()
long long time()

Returns: The time in milliseconds since the last reset.