execution_timer.h File Reference

Class to obtain running times of code. More...

Go to the source code of this file.

Classes
class	mcrl2::utilities::execution_timer
	Simple timer to time the CPU time used by a piece of code. More...
struct	mcrl2::utilities::execution_timer::timing
	Pair of start and finish times. More...

Namespaces
namespace	mcrl2
	A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
namespace	mcrl2::utilities

Detailed Description

Class to obtain running times of code.

Definition in file execution_timer.h.