+/* 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_READY or SD_IN_FIFO. */
+static XBT_INLINE int __SD_task_is_ready_or_in_fifo(SD_task_t task) {
+ return task->state_set == sd_global->ready_task_set ||
+ task->state_set == sd_global->in_fifo_task_set;
+}
+