+
+double SD_workstation_get_computation_time(SD_workstation_t workstation, double computation_amount);
+double SD_workstation_route_get_latency(SD_workstation_t src, SD_workstation_t dst);
+double SD_workstation_route_get_bandwidth(SD_workstation_t src, SD_workstation_t dst);
+double SD_workstation_route_get_communication_time(SD_workstation_t src, SD_workstation_t dst,
+ double communication_amount);
+