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);
/** @} */
void SD_init(int *argc, char **argv);
void SD_create_environment(const char *platform_file);
SD_task_t* SD_simulate(double how_long);
+double SD_get_clock(void);
void SD_exit(void);
/** @} */