-/* Returns whether the state of the given task is SD_READY. */
-static _XBT_INLINE int __SD_task_is_ready(SD_task_t task) {
- return task->state_set == sd_global->ready_task_set;
+/* Returns whether the state of the given task is SD_RUNNABLE. */
+static XBT_INLINE int __SD_task_is_runnable(SD_task_t task)
+{
+ return task->state_set == sd_global->runnable_task_set;
+}
+
+/* Returns whether the state of the given task is SD_IN_FIFO. */
+static XBT_INLINE int __SD_task_is_in_fifo(SD_task_t task)
+{
+ return task->state_set == sd_global->in_fifo_task_set;
+}
+
+/* Returns whether the state of the given task is SD_RUNNABLE or SD_IN_FIFO. */
+static XBT_INLINE int __SD_task_is_runnable_or_in_fifo(SD_task_t task)
+{
+ return task->state_set == sd_global->runnable_task_set ||
+ task->state_set == sd_global->in_fifo_task_set;