class STATE General cluster: lex description: "States of finite automata" Ancestors ANY Queries final: INTEGER_32 final_array: ARRAY [INTEGER_32] Commands set_final (i: INTEGER_32) Constraints lower entry is final