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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 412, Fri Sep 3 00:25:03 1999 UTC revision 641, Thu May 11 01:16:45 2000 UTC
# Line 11  Line 11 
11    
12        (* strongly connected components *)        (* strongly connected components *)
13    
14     val strong_components : ('n,'e,'g) Graph.graph ->     val scc : ('n,'e,'g) Graph.graph ->
15                      (Graph.node_id list * 'a -> 'a) -> 'a -> 'a                      (Graph.node_id list * 'a -> 'a) -> 'a -> 'a
16    
17       val scc' : {N         : int,
18                   nodes     : Graph.node_id list,
19                   out_edges : Graph.node_id -> 'e Graph.edge list
20                  } -> (Graph.node_id list * 'a -> 'a) -> 'a -> 'a
21    
22  end  end
23    

Legend:
Removed from v.412  
changed lines
  Added in v.641

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