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/m.sml
ViewVC logotype

Diff of /MLRISC/trunk/graphs/m.sml

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

revision 410, Fri Sep 3 00:25:03 1999 UTC revision 429, Wed Sep 8 09:47:00 1999 UTC
# Line 21  Line 21 
21    
22     structure G = Graph     structure G = Graph
23     structure H = HashArray     structure H = HashArray
24     structure R = RegSet     structure SL = SortedList
25    
26     fun minor (G.GRAPH G : ('n,'e,'g) Graph.graph) =     fun minor (G.GRAPH G : ('n,'e,'g) Graph.graph) =
27     let exception NotThere     let exception NotThere
# Line 60  Line 60 
60                 (#nodes G ())                 (#nodes G ())
61         fun order() = length(nodes())         fun order() = length(nodes())
62         fun size() = length(edges())         fun size() = length(edges())
63         fun entries() = R.sort(map look (#entries G ()))         fun entries() = SL.uniq(map look (#entries G ()))
64         fun exits() = R.sort(map look (#exits G ()))         fun exits() = SL.uniq(map look (#exits G ()))
65         fun forall_nodes f = app f (nodes ())         fun forall_nodes f = app f (nodes ())
66         fun forall_edges f = app f (edges ())         fun forall_edges f = app f (edges ())
67         fun merge([],_) = ()         fun merge([],_) = ()

Legend:
Removed from v.410  
changed lines
  Added in v.429

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