Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
POTTIER Francois
menhir
Commits
7d8c2e24
Commit
7d8c2e24
authored
Jul 17, 2015
by
POTTIER Francois
Browse files
Code sharing in MyHashtbl.ml.
parent
65889aa0
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/attic/MyHashtbl.ml
View file @
7d8c2e24
...
...
@@ -43,13 +43,13 @@ let create initial_size =
(* careful: [key_index] has been manually inlined several times below *)
let
key_index
h
key
=
(
seeded_hash_param
10
100
0
key
)
land
(
Array
.
length
h
.
data
-
1
)
(
hash
key
)
land
(
Array
.
length
h
.
data
-
1
)
let
rec
insert_bucket
ndata
mask
=
function
Empty
->
()
|
Cons
(
key
,
data
,
rest
)
->
insert_bucket
ndata
mask
rest
;
(* preserve original order of elements *)
let
nidx
=
(
seeded_hash_param
10
100
0
key
)
land
mask
in
let
nidx
=
(
hash
key
)
land
mask
in
ndata
.
(
nidx
)
<-
Cons
(
key
,
data
,
ndata
.
(
nidx
))
let
resize
h
=
...
...
@@ -73,7 +73,7 @@ let rec find_rec key = function
let
find
h
key
=
let
data
=
h
.
data
in
let
i
=
(
seeded_hash_param
10
100
0
key
)
land
(
Array
.
length
data
-
1
)
in
let
i
=
(
hash
key
)
land
(
Array
.
length
data
-
1
)
in
match
data
.
(
i
)
with
|
Empty
->
raise
Not_found
|
Cons
(
k1
,
d1
,
rest1
)
->
...
...
@@ -107,7 +107,7 @@ let add h key info =
let
mem_add
h
key
info
=
let
data
=
h
.
data
in
let
width
=
Array
.
length
data
in
let
i
=
(
seeded_hash_param
10
100
0
key
)
land
(
width
-
1
)
in
let
i
=
(
hash
key
)
land
(
width
-
1
)
in
let
bucket
=
data
.
(
i
)
in
if
mem_in_bucket
key
bucket
then
false
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment