bool watch_point_reached = false; /* has a task just reached a watch point? */
std::set<SD_task_t> initial_tasks;
std::set<SD_task_t> runnable_tasks;
std::set<SD_task_t> completed_tasks;
std::set<SD_task_t> return_set;
bool watch_point_reached = false; /* has a task just reached a watch point? */
std::set<SD_task_t> initial_tasks;
std::set<SD_task_t> runnable_tasks;
std::set<SD_task_t> completed_tasks;
std::set<SD_task_t> return_set;