- 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_iterator_t event_type, double value, double date) override;
+ void updateBandwidth(double value, double date=surf_get_clock()) override;
+ void updateLatency(double value, double date=surf_get_clock()) override;