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::steady_clock> stopwatch::m_timestamp

Public member functions

void reset()

Reset the stopwatch to count from this moment onwards.

double seconds()

Returns: The time in seconds since the last reset.

long long time()

Returns: The time in milliseconds since the last reset.