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::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.

stopwatch()¶

long long time(): Returns: The time in milliseconds since the last reset.