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/trunk/Util/word-redblack-map.sml
ViewVC logotype

Diff of /smlnj-lib/trunk/Util/word-redblack-map.sml

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

revision 702, Sun Sep 3 01:30:53 2000 UTC revision 785, Thu Feb 22 14:27:01 2001 UTC
# Line 56  Line 56 
56                                      T(R, T(B,e,wk,w,f), zk, z, T(B,d,yk,y,b))                                      T(R, T(B,e,wk,w,f), zk, z, T(B,d,yk,y,b))
57                                  | c => T(B, T(R,c,zk,z,d), yk, y, b)                                  | c => T(B, T(R,c,zk,z,d), yk, y, b)
58                                (* end case *))                                (* end case *))
59                            else if (xk = yk)                            else if (xk = zk)
60                              then T(color, T(R, c, zk, x, d), yk, y, b)                              then T(color, T(R, c, xk, x, d), yk, y, b)
61                              else (case ins d                              else (case ins d
62                                 of T(R, e, wk, w, f) =>                                 of T(R, e, wk, w, f) =>
63                                      T(R, T(B,c,zk,z,e), wk, w, T(B,f,yk,y,b))                                      T(R, T(B,c,zk,z,e), wk, w, T(B,f,yk,y,b))
# Line 66  Line 66 
66                        | _ => T(B, ins a, yk, y, b)                        | _ => T(B, ins a, yk, y, b)
67                      (* end case *))                      (* end case *))
68                  else if (xk = yk)                  else if (xk = yk)
69                    then T(color, a, yk, x, b)                    then T(color, a, xk, x, b)
70                    else (case b                    else (case b
71                       of T(R, c, zk, z, d) =>                       of T(R, c, zk, z, d) =>
72                            if (xk < zk)                            if (xk < zk)
# Line 76  Line 76 
76                                  | c => T(B, a, yk, y, T(R,c,zk,z,d))                                  | c => T(B, a, yk, y, T(R,c,zk,z,d))
77                                (* end case *))                                (* end case *))
78                            else if (xk = zk)                            else if (xk = zk)
79                              then T(color, a, yk, y, T(R, c, zk, x, d))                              then T(color, a, yk, y, T(R, c, xk, x, d))
80                              else (case ins d                              else (case ins d
81                                 of T(R, e, wk, w, f) =>                                 of T(R, e, wk, w, f) =>
82                                      T(R, T(B,a,yk,y,c), zk, z, T(B,e,wk,w,f))                                      T(R, T(B,a,yk,y,c), zk, z, T(B,e,wk,w,f))

Legend:
Removed from v.702  
changed lines
  Added in v.785

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