Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class AUTOMATON General cluster: lex description: "General finite-state automata" Ancestors ANY Queries greatest_input: INTEGER_32 nb_states: INTEGER_32 start_number: INTEGER_32 Commands set_final (state, f: INTEGER_32) set_start (n: INTEGER_32) set_state set_transition (source, input_doc, target: INTEGER_32)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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