1 #ifndef HRK_TIME_MANAGER_H
2 #define HRK_TIME_MANAGER_H
13 class Condition_variable;
26 double managed_ticks();
27 void set_play_speed_ratio(
double ratio);
28 double play_speed_ratio()
const;
Definition: Condition_variable.h:16
Definition: Time_manager.h:15
Definition: Time_manager.h:18
Mutex.
Definition: Mutex.h:15