Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Annotation of /MLRISC/trunk/graphs/graph-scc.sig
ViewVC logotype

Annotation of /MLRISC/trunk/graphs/graph-scc.sig

Parent Directory Parent Directory | Revision Log Revision Log


Revision 411 - (view) (download) (as text)
Original Path: sml/branches/SMLNJ/src/MLRISC/graphs/graph-scc.sig

1 : monnier 411 (*
2 :     * This module computes strongly connected components (SCC) of
3 :     * a graph. Each SCC is represented as a list of nodes. All nodes
4 :     * are folded together with a user supplied function.
5 :     *
6 :     * -- Allen
7 :     *)
8 :    
9 : monnier 245 signature GRAPH_STRONGLY_CONNECTED_COMPONENTS =
10 :     sig
11 :    
12 :     (* strongly connected components *)
13 :    
14 : monnier 411 val strong_components : ('n,'e,'g) Graph.graph ->
15 : monnier 245 (Graph.node_id list * 'a -> 'a) -> 'a -> 'a
16 :    
17 :     end
18 :    

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0