X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=intSet.ml;fp=intSet.ml;h=0000000000000000000000000000000000000000;hb=25dd7fcc77c2188732d96d5ff98d759bb81737cb;hp=f66f1425b19ecaa155e3d9ffbacd400033b440b6;hpb=f1da22caf34bc3367984228ace9e7e7aa0760f0a;p=SXSI%2Fxpathcomp.git

diff --git a/intSet.ml b/intSet.ml
deleted file mode 100644
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