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