void updateState(tmgr_trace_event_t event_type, double value, double date);
void updateBandwidth(double value, double date=surf_get_clock());
void updateLatency(double value, double date=surf_get_clock());
void updateState(tmgr_trace_event_t event_type, double value, double date);
void updateBandwidth(double value, double date=surf_get_clock());
void updateLatency(double value, double date=surf_get_clock());