class LINKED_DFA Ancestors DFA* LINKED_AUTOMATON [S -> STATE] Clients LINKED_DFA NDFA* Suppliers BOOLEAN FIXED_DFA INTEGER_32 LINKED_DFA STATE_OF_DFA