+ task->state_set == sd_global->runnable_task_set;
+}
+
+/* Returns whether the given task is scheduled or runnable. */
+static XBT_INLINE int __SD_task_is_schedulable_or_done(SD_task_t task)
+{
+ return task->state_set == sd_global->schedulable_task_set ||
+ task->state_set == sd_global->done_task_set;