- return task->state_set == sd_global->schedulable_task_set ||
- task->state_set == sd_global->done_task_set;
-}
-
-/* Returns whether the state of the given task is SD_NOT_SCHEDULED. */
-static XBT_INLINE int __SD_task_is_not_scheduled(SD_task_t task)
-{
- return task->state_set == sd_global->not_scheduled_task_set;
-}
-
-/* Returns whether the state of the given task is SD_SCHEDULED. */
-static XBT_INLINE int __SD_task_is_schedulable(SD_task_t task)
-{
- return task->state_set == sd_global->schedulable_task_set;
-}
-
-/* Returns whether the state of the given task is SD_SCHEDULED. */
-static XBT_INLINE int __SD_task_is_scheduled(SD_task_t task)
-{
- return task->state_set == sd_global->scheduled_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;