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