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
ViewVC logotype

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

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

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

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