Module parol::analysis::lookahead_dfa

Module with types for production selection

Structs

• DFAState
  Data structure to represent a DFA state
• LookaheadDFA
  The lookahead DFA. Used to calculate a certain production number from a sequence of terminals.

Constants

• INVALID_PROD
  Invalid production number It usually denotes the absence of a valid production number after applying a transition

Type Aliases

• CompiledProductionIndex
  Index type of Productions in generated automata
• ProductionIndex
  Index type of Productions
• StateIndex
  Index type of DFA states