/* Update the actions' state */
void (*update_actions_state) (double now, double delta);
void (*update_resource_state) (void *id, tmgr_trace_event_t event_type,
/* Update the actions' state */
void (*update_actions_state) (double now, double delta);
void (*update_resource_state) (void *id, tmgr_trace_event_t event_type,