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
cfb555b6
Commit
cfb555b6
authored
Jul 06, 2015
by
POTTIER Francois
Browse files
Removed [Lr1.bfs], which was unused.
parent
e6b3de22
Changes
2
Hide whitespace changes
Inline
Side-by-side
src/lr1.ml
View file @
cfb555b6
...
...
@@ -674,20 +674,6 @@ let n =
let
forbid_default_reduction
node
=
node
.
forbid_default_reduction
(* ------------------------------------------------------------------------ *)
(* Breadth-first iteration over all nodes. *)
let
bfs
=
let
module
B
=
Breadth
.
Make
(
struct
type
vertex
=
node
type
label
=
Symbol
.
t
let
set_mark
node
m
=
node
.
mark
<-
m
let
get_mark
node
=
node
.
mark
let
entry
f
=
ProductionMap
.
iter
(
fun
_
node
->
f
node
)
entry
let
successors
f
node
=
SymbolMap
.
iter
f
node
.
transitions
end
)
in
B
.
search
(* ------------------------------------------------------------------------ *)
(* The incoming symbol of a node can be computed by going through its LR(0)
core. For this reason, we do not need to explicitly record it here. *)
...
...
src/lr1.mli
View file @
cfb555b6
...
...
@@ -101,10 +101,6 @@ val map: (node -> 'a) -> 'a list
val
foldx
:
(
'
a
->
node
->
'
a
)
->
'
a
->
'
a
val
iterx
:
(
node
->
unit
)
->
unit
(* Breadth-first iteration over all edges. See [Breadth]. *)
val
bfs
:
(
bool
->
node
->
Symbol
.
t
->
node
->
unit
)
->
unit
(* Iteration over all edges that carry a certain symbol. Edges are
grouped in families, where all edges in a single family have the
same target node. [targets f accu symbol] invokes [f accu sources
...
...
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