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
5b039f04
Commit
5b039f04
authored
Sep 21, 2015
by
POTTIER Francois
Browse files
Redefined [any] and [#] and removed one row in [T.table].
parent
f9c13d32
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/LRijkstra.ml
View file @
5b039f04
...
...
@@ -80,7 +80,7 @@ let non_error z =
[z <> any]. *)
let
any
=
Obj
.
magic
Terminal
.
n
Terminal
.
sharp
(* ------------------------------------------------------------------------ *)
...
...
@@ -563,11 +563,11 @@ end = struct
end
)
let
table
=
(* a pretty large table... *)
Array
.
make
(
Lr1
.
n
*
(
Terminal
.
n
+
1
)
)
M
.
empty
(* room for [any] *)
Array
.
make
(
Lr1
.
n
*
Terminal
.
n
)
M
.
empty
(* TEMPORARY this space is wasted for solid states *)
let
index
current
z
=
(
Terminal
.
n
+
1
)
*
(
Lr1
.
number
current
)
+
Terminal
.
t2i
z
Terminal
.
n
*
(
Lr1
.
number
current
)
+
Terminal
.
t2i
z
let
count
=
ref
0
...
...
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