projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Cosmetic changes (truncate long lines, remove trailing spaces…)
[tatoo.git]
/
src
/
ptset.ml
diff --git
a/src/ptset.ml
b/src/ptset.ml
index
08332b3
..
779d24f
100644
(file)
--- a/
src/ptset.ml
+++ b/
src/ptset.ml
@@
-38,7
+38,9
@@
struct
| Branch of int * int * 'a * 'a
module rec Node : Hcons.S with type data = Data.t = HCB(Data)
| Branch of int * int * 'a * 'a
module rec Node : Hcons.S with type data = Data.t = HCB(Data)
- and Data : Common_sig.HashedType with type t = Node.t set =
+ and Data : Common_sig.HashedType
+ with type t = Node.t set
+ =
struct
type t = Node.t set
let equal x y =
struct
type t = Node.t set
let equal x y =
@@
-67,13
+69,12
@@
struct
let leaf k = Node.make (Leaf k)
let leaf k = Node.make (Leaf k)
- (* To enforce the invariant that a branch contains two non empty
- sub-trees *)
+ (* To enforce the invariant that a branch contains two non empty sub-trees *)
let branch_ne p m t0 t1 =
if (is_empty t0) then t1
else if is_empty t1 then t0 else branch p m t0 t1
let branch_ne p m t0 t1 =
if (is_empty t0) then t1
else if is_empty t1 then t0 else branch p m t0 t1
-
(******** from here on, only use the smart constructors ************)
+ (******** from here on, only use the smart constructors ************)
let singleton k = leaf k
let singleton k = leaf k
@@
-149,7
+150,7
@@
struct
let kid = Uid.to_int (H.uid k) in
let rec ins n = match n.Node.node with
| Empty -> leaf k
let kid = Uid.to_int (H.uid k) in
let rec ins n = match n.Node.node with
| Empty -> leaf k
- | Leaf j ->
if j == k then n else join kid (leaf k) (Uid.to_int (H.uid j)) n
+ | Leaf j -> if j == k then n else join kid (leaf k) (Uid.to_int (H.uid j)) n
| Branch (p,m,t0,t1) ->
if match_prefix kid p m then
if zero_bit kid m then
| Branch (p,m,t0,t1) ->
if match_prefix kid p m then
if zero_bit kid m then
@@
-177,7
+178,7
@@
struct
in
rmv t
in
rmv t
- (*
should run
in O(1) thanks to hash consing *)
+ (*
runs
in O(1) thanks to hash consing *)
let equal a b = a == b
let equal a b = a == b
@@
-231,7
+232,7
@@
struct
let union s1 s2 = merge s1 s2
let union s1 s2 = merge s1 s2
-
(* Todo replace with e Memo Module *)
+ (* Todo replace with e Memo Module *)
let rec inter s1 s2 =
if equal s1 s2
let rec inter s1 s2 =
if equal s1 s2