mCRL2
|
Pair of start and finish times. More...
#include <execution_timer.h>
Public Member Functions | |
timing () | |
Public Attributes | |
std::chrono::steady_clock::time_point | start |
std::chrono::steady_clock::time_point | finish |
clock_t | start_user |
clock_t | finish_user |
Pair of start and finish times.
Definition at line 51 of file execution_timer.h.
|
inline |
Definition at line 59 of file execution_timer.h.
std::chrono::steady_clock::time_point mcrl2::utilities::execution_timer::timing::finish |
Definition at line 54 of file execution_timer.h.
clock_t mcrl2::utilities::execution_timer::timing::finish_user |
Definition at line 57 of file execution_timer.h.
std::chrono::steady_clock::time_point mcrl2::utilities::execution_timer::timing::start |
Definition at line 53 of file execution_timer.h.
clock_t mcrl2::utilities::execution_timer::timing::start_user |
Definition at line 56 of file execution_timer.h.