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 /smlnj-lib/branches/rt-transition/Util/int-redblack-map.sml
 [smlnj] / smlnj-lib / branches / rt-transition / Util / int-redblack-map.sml

# Diff of /smlnj-lib/branches/rt-transition/Util/int-redblack-map.sml

revision 475, Wed Nov 10 22:59:58 1999 UTC revision 498, Tue Dec 7 15:44:50 1999 UTC
# Line 158  Line 158
158            fun delMin (T(R, E, yk, y, b), z) = (yk, y, (false, zip(z, b)))            fun delMin (T(R, E, yk, y, b), z) = (yk, y, (false, zip(z, b)))
159              | delMin (T(B, E, yk, y, b), z) = (yk, y, bbZip(z, b))              | delMin (T(B, E, yk, y, b), z) = (yk, y, bbZip(z, b))
160              | delMin (T(color, a, yk, y, b), z) = delMin(a, LEFT(color, yk, y, b, z))              | delMin (T(color, a, yk, y, b), z) = delMin(a, LEFT(color, yk, y, b, z))
161                | delMin (E, _) = raise Match
162            fun join (R, E, E, z) = zip(z, E)            fun join (R, E, E, z) = zip(z, E)
163              | join (_, a, E, z) = #2(bbZip(z, a))       (* color = black *)              | join (_, a, E, z) = #2(bbZip(z, a))       (* color = black *)
164              | join (_, E, b, z) = #2(bbZip(z, b))       (* color = black *)              | join (_, E, b, z) = #2(bbZip(z, b))       (* color = black *)

Legend:
 Removed from v.475 changed lines Added in v.498