Up – Package index » lrgrep » Library kernel » Kernel » Sentence_generation

Module `Kernel.Sentence_generation`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.index

Source

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
      list

Source

val to_cells : 
  'g Info.grammar ->
  ('g, 'cell) Reachability.t_cell ->
  'g Info.transition Fix.Indexing.index list ->
  'cell Fix.Indexing.index list

Source

val expand_cells : 
  'g Info.grammar ->
  ('g, 'cell) Reachability.t_cell ->
  'cell Fix.Indexing.index list ->
  'g Info.terminal Fix.Indexing.index list

Source

val sentence_of_transitions : 
  'g Info.grammar ->
  'g Reachability.t ->
  'g Info.transition Fix.Indexing.index list ->
  'g Info.terminal Fix.Indexing.index list

Source

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