Include file:
#include "mcrl2/utilities/execution_timer.h"
Class to obtain running times of code.
mcrl2::utilities::execution_timer
mcrl2::utilities::execution_timer::timing
mcrl2/utilities/exception.h
mcrl2/utilities/file_utility.h