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/releases/release-110.61/Util/int-redblack-set.sml
ViewVC logotype

Diff of /smlnj-lib/releases/release-110.61/Util/int-redblack-set.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 136  Line 136 
136            fun delMin (T(R, E, y, b), z) = (y, (false, zip(z, b)))            fun delMin (T(R, E, y, b), z) = (y, (false, zip(z, b)))
137              | delMin (T(B, E, y, b), z) = (y, bbZip(z, b))              | delMin (T(B, E, y, b), z) = (y, bbZip(z, b))
138              | delMin (T(color, a, y, b), z) = delMin(a, LEFT(color, y, b, z))              | delMin (T(color, a, y, b), z) = delMin(a, LEFT(color, y, b, z))
139                | delMin (E, _) = raise Match
140            fun join (R, E, E, z) = zip(z, E)            fun join (R, E, E, z) = zip(z, E)
141              | join (_, a, E, z) = #2(bbZip(z, a))       (* color = black *)              | join (_, a, E, z) = #2(bbZip(z, a))       (* color = black *)
142              | 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