Stopwatch.h

Go to the documentation of this file.

#pragma once
 
#include <chrono>
 
#include "storm/utility/macros.h"
 
namespace storm {
namespace utility {

class Stopwatch {
   public:
    typedef decltype(std::chrono::duration_cast<std::chrono::seconds>(std::chrono::seconds::zero()).count()) SecondType;
    typedef decltype(std::chrono::duration_cast<std::chrono::milliseconds>(std::chrono::milliseconds::zero()).count()) MilisecondType;
    typedef decltype(std::chrono::duration_cast<std::chrono::nanoseconds>(std::chrono::nanoseconds::zero()).count()) NanosecondType;

    Stopwatch(bool startNow = false);

    SecondType getTimeInSeconds() const;

    MilisecondType getTimeInMilliseconds() const;

    NanosecondType getTimeInNanoseconds() const;

    void addToTime(std::chrono::nanoseconds timeNanoseconds);

    void add(Stopwatch const& other);

    void stop();

    void start();

    void reset();

    void restart();

    bool stopped() const;
 
    friend std::ostream& operator<<(std::ostream& out, Stopwatch const& stopwatch);
 
   private:
    // The time accumulated so far.
    std::chrono::nanoseconds accumulatedTime;
 
    // A flag indicating if the stopwatch is stopped right now.
    bool isStopped;
 
    // The timepoint when the stopwatch was started the last time (if it's not stopped).
    std::chrono::high_resolution_clock::time_point startOfCurrentMeasurement;
};
 
std::ostream& operator<<(std::ostream& out, Stopwatch const& stopwatch);
}  // namespace utility
}  // namespace storm