SCM Repository
[smlnj] / MLRISC / trunk / graphs / graph-comb.sml |
View of /MLRISC/trunk/graphs/graph-comb.sml
Parent Directory | 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)
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 |