summaryrefslogtreecommitdiff
path: root/sched
diff options
context:
space:
mode:
authorAlex AUVOLAT <alex.auvolat@ens.fr>2013-11-05 18:30:56 +0100
committerAlex AUVOLAT <alex.auvolat@ens.fr>2013-11-05 18:30:56 +0100
commit1514c384d205a1710d81e52aba82476e1146e37d (patch)
tree0d54bc7f5bc6497ee4e685163765537cdea7b7b7 /sched
parent244a51086c20dbd937dd21f1eb9c4b74acc5a3c9 (diff)
downloadSystDigit-Projet-1514c384d205a1710d81e52aba82476e1146e37d.tar.gz
SystDigit-Projet-1514c384d205a1710d81e52aba82476e1146e37d.zip
Removed unused function.
Diffstat (limited to 'sched')
-rw-r--r--sched/graph.ml24
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