No Matches
mcrl2::utilities::execution_timer::timing Struct Reference

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

Detailed Description

Pair of start and finish times.

Definition at line 51 of file execution_timer.h.

Constructor & Destructor Documentation

◆ timing()

mcrl2::utilities::execution_timer::timing::timing ( )

Definition at line 59 of file execution_timer.h.

Member Data Documentation

◆ finish

std::chrono::steady_clock::time_point mcrl2::utilities::execution_timer::timing::finish

Definition at line 54 of file execution_timer.h.

◆ finish_user

clock_t mcrl2::utilities::execution_timer::timing::finish_user

Definition at line 57 of file execution_timer.h.

◆ start

std::chrono::steady_clock::time_point mcrl2::utilities::execution_timer::timing::start

Definition at line 53 of file execution_timer.h.

◆ start_user

clock_t mcrl2::utilities::execution_timer::timing::start_user

Definition at line 56 of file execution_timer.h.

The documentation for this struct was generated from the following file: