var sched__policy_8h =
[
    [ "_starpu_push_task_to_workers", "sched__policy_8h.html#a948fb2b4acf7526c67f3059e07e83c24", null ],
    [ "_starpu_pop_task", "sched__policy_8h.html#ad83fd3702d6538b7f02908198c6c9374", null ],
    [ "_starpu_pop_every_task", "sched__policy_8h.html#a5bf20ef01a19335d5e76fdf086f94281", null ]
];