~CpuCas01();
void updateState(tmgr_trace_event_t event_type, double value, double date);
CpuAction *execute(double size);
CpuAction *sleep(double duration);
double getCurrentPowerPeak();
~CpuCas01();
void updateState(tmgr_trace_event_t event_type, double value, double date);
CpuAction *execute(double size);
CpuAction *sleep(double duration);
double getCurrentPowerPeak();