diff options
author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-05 18:30:56 +0100 |
---|---|---|
committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2013-11-05 18:30:56 +0100 |
commit | 1514c384d205a1710d81e52aba82476e1146e37d (patch) | |
tree | 0d54bc7f5bc6497ee4e685163765537cdea7b7b7 /sched | |
parent | 244a51086c20dbd937dd21f1eb9c4b74acc5a3c9 (diff) | |
download | SystDigit-Projet-1514c384d205a1710d81e52aba82476e1146e37d.tar.gz SystDigit-Projet-1514c384d205a1710d81e52aba82476e1146e37d.zip |
Removed unused function.
Diffstat (limited to 'sched')
-rw-r--r-- | sched/graph.ml | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/sched/graph.ml b/sched/graph.ml index ad4fded..08762a1 100644 --- a/sched/graph.ml +++ b/sched/graph.ml @@ -58,27 +58,3 @@ let topological g = in let ret = List.fold_left (fun x n -> aux x n) [] g.g_nodes in clear_marks g; List.rev ret - -let topological_from_roots g roots = - clear_marks g; - let rec aux acc n = - if n.n_mark = Visited - then acc - else begin - n.n_mark <- Visited; - n.n_label :: (List.fold_left (fun x n -> aux x n) acc n.n_linked_by) - end - in - let ret = List.fold_left - (fun x n -> aux x (node_for_label g n)) [] roots - in - let used = List.fold_left - (fun s n -> - if n.n_mark = Visited then - n.n_label::s - else - s) - [] - g.g_nodes in - clear_marks g; - List.rev ret, used |