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

SCM Repository

[smlnj] View of /MLRISC/trunk/graphs/graph-comb.sml
ViewVC logotype

View of /MLRISC/trunk/graphs/graph-comb.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 245 - (download) (annotate)
Sat Apr 17 18:47:12 1999 UTC (20 years, 3 months ago) by monnier
Original Path: sml/branches/SMLNJ/src/MLRISC/graphs/graph-comb.sml
File size: 711 byte(s)
version 110.16
structure GraphCombinations : GRAPH_COMBINATIONS = 
struct

   structure G       = Graph
   structure Union   = UnionGraphView
   structure Rename  = RenamedGraphView
   structure Rev     = ReversedGraphView

   (*
    * Disjoint union
    *)
   fun my_union (a,b) = Union.union_view (fn (x,y) => x) (a, b)
   fun sum (A as G.GRAPH a, B as G.GRAPH b) =
      my_union(A, Rename.rename_view (#capacity a ()) B)
   fun union []     = raise G.Graph "union"
     | union [a]    = a
     | union [a,b]  = my_union(a,b)
     | union (a::b) = my_union(a,union b)

   fun sums []     = raise G.Graph "sums"
     | sums [a]    = a
     | sums [a,b]  = sum(a,b)
     | sums (a::b) = sum(a,sums b)

end

(* 
 * $Log$
 *)


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