Lines Matching defs:tasks
4 Ordered queue of grouped tasks.
55 (** nested groups of tasks **)
99 (* tasks *)
186 let val tasks = Tasks.delete_safe task (get_tasks groups gid) in
187 if Tasks.is_empty tasks then Inttab.delete_safe gid groups
188 else Inttab.update (gid, tasks) groups
216 foldl' (fn g => fn tasks =>
217 Tasks.merge equal (tasks, get_tasks groups (group_id g)))
367 | ready (task :: tasks) rest =
369 NONE => ready tasks rest
372 NONE => ready tasks (task :: rest)
373 | some => (some, foldl' cons rest tasks)));
376 | ready_dep seen (task :: tasks) =
377 if Tasks.defined seen task then ready_dep seen tasks
381 NONE => ready_dep (Tasks.update (task, ()) seen) (Task_Graph.Keys.dest ds @ tasks)