Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class STATE General cluster: lex description: "States of finite automata" Ancestors ANY Queries final: INTEGER_32 final_array: detachable ARRAY [INTEGER_32] Commands set_final (i: INTEGER_32) Constraints lower entry is final
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org