class FIXED_AUTOMATON [S -> STATE] Ancestors ARRAY [G] Descendants FIXED_DFA Clients FIXED_AUTOMATON [S -> STATE] Suppliers BOOLEAN FIXED_AUTOMATON [S -> STATE] INTEGER_32 STATE