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 /sml/trunk/src/smlnj-lib/Util/graph-scc-sig.sml
ViewVC logotype

Diff of /sml/trunk/src/smlnj-lib/Util/graph-scc-sig.sml

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

revision 815, Fri May 4 05:09:10 2001 UTC revision 816, Fri May 4 16:37:36 2001 UTC
# Line 19  Line 19 
19        = SIMPLE of node                  (* singleton, no self-loop *)        = SIMPLE of node                  (* singleton, no self-loop *)
20        | RECURSIVE of node list        | RECURSIVE of node list
21    
22      val topOrder: { root: node, follow: node -> node list } -> component list      val topOrder': { roots: node list, follow: node -> node list }
23          (* take root node and follow function and return                     -> component list
24            (* take root node(s) and follow function and return
25           * list of topologically sorted strongly-connected components;           * list of topologically sorted strongly-connected components;
26           * root component goes first           * the component that contains the first of the given "roots"
27             * goes first
28           *)           *)
29    
30    end      val topOrder : { root: node, follow: node -> node list }
31                       -> component list
32            (* for backward compatibility;
33             * AXIOM: topOrder{root,follow}==topOrder'{roots=[root],follow=follow}
34             *)
35    
36      end

Legend:
Removed from v.815  
changed lines
  Added in v.816

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