- void updateState(tmgr_trace_event_t event_type, double value, double date);
- CpuAction *execute(double size);
- CpuAction *sleep(double duration);
-
- double getCurrentPowerPeak();
- double getPowerPeakAt(int pstate_index);
- int getNbPstates();
- void setPstate(int pstate_index);
- int getPstate();
- bool isUsed();
+ void updateState(tmgr_trace_event_t event_type, double value, double date) override;
+ CpuAction *execute(double size) override;
+ CpuAction *sleep(double duration) override;
+
+ bool isUsed() override;