-/* Functions to test if the task is in a given state. */
-
-/* Returns whether the given task is scheduled or runnable. */
-static XBT_INLINE int __SD_task_is_scheduled_or_runnable(SD_task_t task)
-{
- return task->state_set == sd_global->scheduled_task_set ||
- 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;
-}
-
-/* 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;
-}
-
-/* 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;
-}
-
-/* Returns whether the state of the given task is SD_RUNNING. */
-static XBT_INLINE int __SD_task_is_running(SD_task_t task)
-{
- return task->state_set == sd_global->running_task_set;
-}
-
-/********** Storage **********/
-XBT_PRIVATE SD_storage_t __SD_storage_create(void *surf_storage, void *data);
-XBT_PRIVATE void __SD_storage_destroy(void *storage);
-
-/********** Tracing **********/
-/* declaration of instrumentation functions from sd_task_instr.c */
-XBT_PRIVATE void TRACE_sd_task_create(SD_task_t task);
-XBT_PRIVATE void TRACE_sd_task_execute_start(SD_task_t task);
-XBT_PRIVATE void TRACE_sd_task_execute_end(SD_task_t task);
-XBT_PRIVATE void TRACE_sd_task_destroy(SD_task_t task);
-