|
SAT Solver Template
|
Used to measure time between start a start and a stop event. More...
#include <Profiler.hpp>

Public Member Functions | |
| StopWatch () | |
| void | start () |
| TimingEvent | getTiming () const |
| template<typename T > | |
| auto | elapsed () const |
Protected Attributes | |
| detail::TP | startTp |
Used to measure time between start a start and a stop event.
| sat::StopWatch::StopWatch | ( | ) |
Ctor. Starts the timer
|
inline |
Get the number of elapsed time units
| T | time unit |
| TimingEvent sat::StopWatch::getTiming | ( | ) | const |
Get the timing event since the last call to start and the time of the call
| void sat::StopWatch::start | ( | ) |
Resets the start event to the current time