Module Info.Lr1Source

include INDEXED with type 'g n = 'g lr1
Sourcetype 'g n = 'g lr1
Sourceval cardinal : 'g grammar -> 'g n Fix.Indexing.cardinal
Sourceval of_int : 'g grammar -> int -> 'g n Fix.Indexing.index
Sourceval accepting : 'g grammar -> 'g n Utils.Misc.indexset
Sourceval wait : 'g grammar -> 'g n Utils.Misc.indexset
Sourceval incoming : 'g grammar -> 'g n Fix.Indexing.index -> 'g symbol Fix.Indexing.index option
Sourceval to_string : 'g grammar -> 'g n Fix.Indexing.index -> string
Sourceval list_to_string : 'g grammar -> 'g n Fix.Indexing.index list -> string
Sourceval set_to_string : 'g grammar -> 'g n Utils.Misc.indexset -> string
Sourceval symbol_to_string : 'g grammar -> 'g n Fix.Indexing.index -> string

shift_on t is the set of lookaheads that state t can shift

reduce_on t is the set of lookaheads that trigger a reduction in state t

reject t is set of lookaheads that cause the automaton to fail when in state t

predecessors t is the set of LR(1) states that have transition going to t.

Wrapper around IndexSet.inter speeding-up intersection with all

Sourceval is_entrypoint : 'g grammar -> 'g n Fix.Indexing.index -> 'g production Fix.Indexing.index option
Sourceval entrypoint_table : 'g grammar -> (string, 'g n Fix.Indexing.index) Stdlib.Hashtbl.t
Sourceval entrypoints : 'g grammar -> 'g n Utils.Misc.indexset
Sourceval default_reduction : 'g grammar -> 'g n Fix.Indexing.index -> 'g production Fix.Indexing.index option