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

Diff of /smlnj-lib/trunk/Util/int-redblack-set.sml

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

revision 3716, Sat Mar 10 23:44:59 2012 UTC revision 3717, Mon Mar 26 10:59:31 2012 UTC
# Line 342  Line 342 
342              SET(n, linkAll result)              SET(n, linkAll result)
343            end            end
344    
345        fun subtract (s, item) = difference (s, singleton item)
346        fun subtract' (item, s) = subtract (s, item)
347    
348        fun subtractList (l, items) = let
349              val items' = List.foldl (fn (x, set) => add(set, x)) (SET(0, E)) items
350              in
351                difference (l, items')
352              end
353    
354      fun app f = let      fun app f = let
355            fun appf E = ()            fun appf E = ()
356              | appf (T(_, a, x, b)) = (appf a; f x; appf b)              | appf (T(_, a, x, b)) = (appf a; f x; appf b)

Legend:
Removed from v.3716  
changed lines
  Added in v.3717

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