You are in:

 Documentation Home
 Class Libraries
 EiffelLex
 Reference

 Topics:

 STATE
 ERROR_LIST
 FIXED_DFA
 TEXT_FILLER
 PDFA
 NDFA
 HIGH_BUILDER
 STATE_OF_DFA
 LEX_BUILDER
 DFA
 AUTOMATON
 LEXICAL
 TOKEN
 METALEX
 LEX_ARRAY
 FIXED_AUTOMATON
 SCANNING
 LINKED_AUTOMATON
 LINKED_DFA
 FIXED_INTEGER_SET