Transition (p.lrgrep.0.3.doc.kernel.Kernel.Info.Transition)

Sourceval goto : 'g grammar -> 'g goto_transition Fix.Indexing.cardinal

Sourceval any : 'g grammar -> 'g transition Fix.Indexing.cardinal

Sourceval shift : 'g grammar -> 'g shift_transition Fix.Indexing.cardinal

val of_goto : 
  'g grammar ->
  'g goto_transition Fix.Indexing.index ->
  'g transition Fix.Indexing.index

Source

val of_shift : 
  'g grammar ->
  'g shift_transition Fix.Indexing.index ->
  'g transition Fix.Indexing.index

Source

val split : 
  'g grammar ->
  'g transition Fix.Indexing.index ->
  ('g goto_transition Fix.Indexing.index,
    'g shift_transition Fix.Indexing.index)
    Fix.Indexing.either

Source

val find_goto : 
  'g grammar ->
  'g lr1 Fix.Indexing.index ->
  'g nonterminal Fix.Indexing.index ->
  'g goto_transition Fix.Indexing.index

Source

val find_goto_target : 
  'g grammar ->
  'g lr1 Fix.Indexing.index ->
  'g nonterminal Fix.Indexing.index ->
  'g lr1 Fix.Indexing.index

Source

val source : 
  'g grammar ->
  'g transition Fix.Indexing.index ->
  'g lr1 Fix.Indexing.index

Source

val target : 
  'g grammar ->
  'g transition Fix.Indexing.index ->
  'g lr1 Fix.Indexing.index

Source

val symbol : 
  'g grammar ->
  'g transition Fix.Indexing.index ->
  'g symbol Fix.Indexing.index

Source

val goto_symbol : 
  'g grammar ->
  'g goto_transition Fix.Indexing.index ->
  'g nonterminal Fix.Indexing.index

Source

val shift_symbol : 
  'g grammar ->
  'g shift_transition Fix.Indexing.index ->
  'g terminal Fix.Indexing.index

Source

val successors : 
  'g grammar ->
  'g lr1 Fix.Indexing.index ->
  'g transition Utils.Misc.indexset

Source

val predecessors : 
  'g grammar ->
  'g lr1 Fix.Indexing.index ->
  'g transition Utils.Misc.indexset

Sourceval accepting : 'g grammar -> 'g goto_transition Utils.Misc.indexset

Sourceval to_string : 'g grammar -> 'g transition Fix.Indexing.index -> string

Source

val find : 
  'g grammar ->
  'g lr1 Fix.Indexing.index ->
  'g lr1 Fix.Indexing.index ->
  'g transition Fix.Indexing.index option