double getPowerPeakAt(int pstate_index);
int getNbPstates();
void setPstate(int pstate_index);
+ int getPstate();
double getConsumedEnergy();
};
double getPowerPeakAt(int /*pstate_index*/) {THROW_UNIMPLEMENTED;};
int getNbPstates() {THROW_UNIMPLEMENTED;};
void setPstate(int /*pstate_index*/) {THROW_UNIMPLEMENTED;};
+ int getPstate() {THROW_UNIMPLEMENTED;};
double getConsumedEnergy() {THROW_UNIMPLEMENTED;};
};