+ double (*get_speed) (void *workstation, double load); /**< Return the speed of a workstation */
+
+ double (*get_current_power_peak) (void *workstation);
+ double (*get_power_peak_at) (void *workstation, int pstate_index);
+ int (*get_nb_pstates) (void *workstation);
+ void (*set_power_peak_at) (void *workstation, int pstate_index);
+ double (*get_consumed_energy) (void *workstation);