SCM Repository
[smlnj] / MLRISC / trunk / graphs / graph-scc.sig |
View of /MLRISC/trunk/graphs/graph-scc.sig
Parent Directory | Revision Log
Revision 2126 -
(download)
(as text)
(annotate)
Thu Nov 2 16:11:29 2006 UTC (12 years, 10 months ago) by blume
File size: 609 byte(s)
Thu Nov 2 16:11:29 2006 UTC (12 years, 10 months ago) by blume
File size: 609 byte(s)
moved MLRISC to toplevel
(* * This module computes strongly connected components (SCC) of * a graph. Each SCC is represented as a list of nodes. All nodes * are folded together with a user supplied function. * * -- Allen *) signature GRAPH_STRONGLY_CONNECTED_COMPONENTS = sig (* strongly connected components *) val scc : ('n,'e,'g) Graph.graph -> (Graph.node_id list * 'a -> 'a) -> 'a -> 'a val scc' : {N : int, nodes : Graph.node_id list, out_edges : Graph.node_id -> 'e Graph.edge list } -> (Graph.node_id list * 'a -> 'a) -> 'a -> 'a end
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |