22 #include "ppg_settings.h"
51 PPG_Time time1, PPG_Time time2);
void(* PPG_Time_Difference_Fun)(PPG_Time time1, PPG_Time time2, PPG_Time *delta)
Function type of a callback that computes differences between time values.
Definition: ppg_time.h:40
PPG_Time_Difference_Fun time_difference
Computes time differences.
Definition: ppg_time.h:57
void ppg_time_manager_init(PPG_Time_Manager *time_manager)
Initializes a time manager.
PPG_Time_Comparison_Fun compare_times
Compares time values.
Definition: ppg_time.h:58
PPG_Time_Fun time
Retreives time.
Definition: ppg_time.h:56
PPG_Time_Manager ppg_global_get_time_manager(void)
Retreives the currently active global time manager.
PPG_Time_Manager ppg_global_set_time_manager(PPG_Time_Manager time_manager)
Sets a new global time manager.
void(* PPG_Time_Fun)(PPG_Time *time)
Function type of a callback that computes the current time.
Definition: ppg_time.h:30
PPG_Time_Comparison_Result_Type(* PPG_Time_Comparison_Fun)(PPG_Time time1, PPG_Time time2)
Function type for time comparisons.
Definition: ppg_time.h:50
A collection of functions for time handling.
Definition: ppg_time.h:55