void SD_workstation_set_data(SD_workstation_t workstation, void *data);
void* SD_workstation_get_data(SD_workstation_t workstation);
const char* SD_workstation_get_name(SD_workstation_t workstation);
-SD_link_t* SD_route_get_list(SD_workstation_t src, SD_workstation_t dst);
+const SD_link_t* SD_route_get_list(SD_workstation_t src, SD_workstation_t dst);
int SD_route_get_size(SD_workstation_t src, SD_workstation_t dst);
double SD_workstation_get_power(SD_workstation_t workstation);
double SD_workstation_get_available_power(SD_workstation_t workstation);
+e_SD_workstation_access_mode_t SD_workstation_get_access_mode(SD_workstation_t workstation);
+void SD_workstation_set_access_mode(SD_workstation_t workstation,
+ e_SD_workstation_access_mode_t access_mode);
double SD_workstation_get_computation_time(SD_workstation_t workstation, double computation_amount);
double SD_route_get_current_latency(SD_workstation_t src, SD_workstation_t dst);
const SD_workstation_t *workstation_list, const double *computation_amount,
const double *communication_amount, double rate);
void SD_task_unschedule(SD_task_t task);
+double SD_task_get_start_time(SD_task_t task);
+double SD_task_get_finish_time(SD_task_t task);
void SD_task_destroy(SD_task_t task);
/** @} */