ge211::time Namespace Reference

Detailed Description

Types for representing time and timers.

Classes
class	Duration
	A length of time. More...
class	Pausable_timer
	A class for timing intervals while supporting pausing. More...
class	Time_point
	A point in time. More...
class	Timer
	A class for timing intervals. The result is a Duration. More...