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