Return to intset.sml CVS log

Up to [Research Unix] / researchv10no / cmd / sml / src / util

Annotation of researchv10no/cmd/sml/src/util/intset.sml, revision 1.1

1.1     ! root        1: (* Copyright 1989 by AT&T Bell Laboratories *)
        !             2: structure Intset : sig type intset
        !             3:                        val new : unit -> intset
        !             4:                        val add : intset -> int -> unit
        !             5:                        val rem : intset -> int -> unit
        !             6:                        val mem : intset -> int -> bool
        !             7:                   end =
        !             8: 
        !             9: struct
        !            10:   val p = 211
        !            11:   type intset = int list array
        !            12:   fun new () = array(p,nil : int list)
        !            13:   fun add a i = let val index = i mod p in update(a,index,i::(a sub index)) end
        !            14:   fun mem a i = exists (fn j => j=i) (a sub (i mod p))
        !            15:   fun rem a i = let fun f (j::r) = if i=j then f r else j :: f r
        !            16:                      | f nil = nil
        !            17:                    val index = i mod p
        !            18:                 in update(a,index, f(a sub index))
        !            19:                end
        !            20: (*
        !            21:   type intset = unit Intmap.intmap
        !            22:   exception NO
        !            23:   fun new () =  Intmap.new(32, NO)
        !            24:   fun add a i = Intmap.add a (i,())
        !            25:   fun mem a i = (Intmap.map a i; true) handle NO => false
        !            26:   fun rem a i = Intmap.rem a i
        !            27: *)
        !            28: end
        !            29: 

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.