- void (*update_actions_state) (xbt_heap_float_t now, xbt_heap_float_t delta);
- void (*update_resource_state) (void *id,tmgr_trace_event_t event_type, xbt_maxmin_float_t value);
- void (*finalize)(void);
+ void (*update_actions_state) (double now, double delta);
+ void (*update_resource_state) (void *id, tmgr_trace_event_t event_type,
+ double value);
+ void (*finalize) (void);