class LINKED_AUTOMATON [S -> STATE] Ancestors LINKED_LIST [G] Descendants LINKED_DFA Clients LINKED_AUTOMATON [S -> STATE] Suppliers BOOLEAN INTEGER_32 LINKED_AUTOMATON [S -> STATE] STATE