std::set<SD_task_t> *inputs;
std::set<SD_task_t> *outputs;
std::set<SD_task_t> *predecessors;
std::set<SD_task_t> *successors;
/* scheduling parameters (only exist in state SD_SCHEDULED) */
std::set<SD_task_t> *inputs;
std::set<SD_task_t> *outputs;
std::set<SD_task_t> *predecessors;
std::set<SD_task_t> *successors;
/* scheduling parameters (only exist in state SD_SCHEDULED) */