package lrgrep
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