double SD_task_get_amount(SD_task_t task);
double SD_task_get_remaining_amount(SD_task_t task);
void SD_task_dependency_add(const char *name, void *data, SD_task_t src, SD_task_t dst);
double SD_task_get_amount(SD_task_t task);
double SD_task_get_remaining_amount(SD_task_t task);
void SD_task_dependency_add(const char *name, void *data, SD_task_t src, SD_task_t dst);