Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] View of /sml/trunk/src/compiler/MiscUtil/library/intset.sml
ViewVC logotype

View of /sml/trunk/src/compiler/MiscUtil/library/intset.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 504 - (download) (annotate)
Tue Dec 7 18:31:05 1999 UTC (19 years, 9 months ago) by monnier
File size: 1023 byte(s)
the 110.25 merge compiles
(* Copyright 1989 by AT&T Bell Laboratories *)
(* replaced with int-binary-set.sml
  new == fn () => empty
  add s x == add(s,x)
  rmv s x == delete(s,x)
  mem s x == member(s,x)
 *)
structure Intset : sig type intset
		        val new : unit -> intset
		        val add : intset -> int -> unit
			val rmv : intset -> int -> unit
			val mem : intset -> int -> bool
		   end =

struct
  open Array List
  infix 9 sub

  val p = 211
  type intset = int list array
  fun new () = array(p,nil : int list)
  fun add a i = let val index = i mod p in update(a,index,i::(a sub index)) end
  fun mem a i = exists (fn j => j=i) (a sub (i mod p))
  fun rmv a i = let fun f (j::r) = if i=j then f r else j :: f r
	              | f nil = nil
		    val index = i mod p
		 in update(a,index, f(a sub index))
		end
(*
  type intset = unit Intmap.intmap
  exception NO
  fun new () =  Intmap.new(32, NO)
  fun add a i = Intmap.add a (i,())
  fun mem a i = (Intmap.map a i; true) handle NO => false
  fun rmv a i = Intmap.rem a i
*)
end




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