Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class FIXED_DFA Ancestors DFA* FIXED_AUTOMATON [S -> detachable STATE] Clients FIXED_DFA LEXICAL LEX_BUILDER LINKED_DFA NDFA* PDFA Suppliers ARRAY [G] BOOLEAN FIXED_DFA INTEGER_32 STATE_OF_DFA STD_FILES
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org