+
+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);
+double SD_route_get_current_bandwidth(SD_workstation_t src, SD_workstation_t dst);
+double SD_route_get_communication_time(SD_workstation_t src, SD_workstation_t dst,
+ double communication_amount);
+