lean::time Namespace Reference

Defines time-related classes such as timers, e.g. to be used in profiling. More...

Classes
class	highres_timer
	High-resolution timer class. More...
class	timer
	Default timer class. More...
class	clocktimer
	Clock timer class. More...

---

Detailed Description

Defines time-related classes such as timers, e.g. to be used in profiling.