package lrgrep

  1. Overview
  2. Docs
package lrgrep
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Kernel.Sentence_generationSource

Sourceval 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.index
Sourceval 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 list
Sourceval to_cells : 'g Info.grammar -> ('g, 'cell) Reachability.t_cell -> 'g Info.transition Fix.Indexing.index list -> 'cell Fix.Indexing.index list
Sourceval expand_cells : 'g Info.grammar -> ('g, 'cell) Reachability.t_cell -> 'cell Fix.Indexing.index list -> 'g Info.terminal Fix.Indexing.index list
Sourceval sentence_of_transitions : 'g Info.grammar -> 'g Reachability.t -> 'g Info.transition Fix.Indexing.index list -> 'g Info.terminal Fix.Indexing.index list