package lrgrep
Analyse the stack of a Menhir-generated LR parser using regular expressions
Install
dune-project
Dependency
Authors
Maintainers
Sources
lrgrep-0.3.tbz
sha256=84a1874d0c063da371e19c84243aac7c40bfcb9aaf204251e0eb0d1f077f2cde
sha512=5a16ff42a196fd741bc64a1bdd45b4dca0098633e73aa665829a44625ec15382891c3643fa210dbe3704336eab095d4024e093e37ae5313810f6754de6119d55
doc/kernel/Kernel/Sentence_generation/index.html
Module Kernel.Sentence_generationSource
Source
val find_transition :
'g Info.grammar ->
'g Kernel__Info.lr1 Fix.Indexing.index ->
'g Info.Lr1.n Fix.Indexing.index ->
('g Kernel__Info.goto_transition, 'g Kernel__Info.shift_transition)
Fix.Indexing.Sum.n
Fix.Indexing.indexSource
val to_transitions :
'a Info.grammar ->
'a Info.Lr1.n Fix.Indexing.index list ->
'a Info.Lr1.n Fix.Indexing.index
* ('a Kernel__Info.goto_transition, 'a Kernel__Info.shift_transition)
Fix.Indexing.Sum.n
Fix.Indexing.index
listSource
val to_cells :
'g Info.grammar ->
('g, 'cell) Reachability.t_cell ->
'g Info.transition Fix.Indexing.index list ->
'cell Fix.Indexing.index listSource
val expand_cells :
'g Info.grammar ->
('g, 'cell) Reachability.t_cell ->
'cell Fix.Indexing.index list ->
'g Info.terminal Fix.Indexing.index listSource
val sentence_of_transitions :
'g Info.grammar ->
'g Reachability.t ->
'g Info.transition Fix.Indexing.index list ->
'g Info.terminal Fix.Indexing.index listSource
val sentence_of_stack :
'g Info.grammar ->
'g Reachability.t ->
'g Info.Lr1.n Fix.Indexing.index list ->
'g Info.terminal Fix.Indexing.index list