SD_link_t __SD_link_create(void *surf_link, void *data);
void __SD_link_destroy(void *link);
SD_link_t __SD_link_create(void *surf_link, void *data);
void __SD_link_destroy(void *link);
void __SD_workstation_destroy(void *workstation);
int __SD_workstation_is_busy(SD_workstation_t workstation);
void __SD_workstation_destroy(void *workstation);
int __SD_workstation_is_busy(SD_workstation_t workstation);
static XBT_INLINE int __SD_task_is_scheduled_or_runnable(SD_task_t task)
{
return task->state_set == sd_global->scheduled_task_set ||
static XBT_INLINE int __SD_task_is_scheduled_or_runnable(SD_task_t task)
{
return task->state_set == sd_global->scheduled_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 ||
}
/* 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 ||
static XBT_INLINE int __SD_task_is_runnable_or_in_fifo(SD_task_t task)
{
return task->state_set == sd_global->runnable_task_set ||
static XBT_INLINE int __SD_task_is_runnable_or_in_fifo(SD_task_t task)
{
return task->state_set == sd_global->runnable_task_set ||