removed cruft, fixed ptset.ml

[SXSI/xpathcomp.git] / intSet.ml

diff --git a/intSet.ml b/intSet.ml
deleted file mode 100644 (file)
index f66f142..0000000
--- a/intSet.ml
+++ /dev/null
@@ -1,15 +0,0 @@
-(******************************************************************************)
-(*  SXSI : XPath evaluator                                                    *)
-(*  Kim Nguyen (Kim.Nguyen@nicta.com.au)                                      *)
-(*  Copyright NICTA 2008                                                      *)
-(*  Distributed under the terms of the LGPL (see LICENCE)                     *)
-(******************************************************************************)
-type elt = int
-type t = int array
-
-let numbits i = int_of_float (log (float_of_int (i+1)) /. (log 2.)) 
-let size i = ((numbits i)/63)+1
-
-let empty = [| |]
-
-let add