Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class DFA General cluster: lex description: "General deterministic finite automata" Ancestors AUTOMATON* Queries find_successor (source, input_doc: INTEGER_32): detachable STATE_OF_DFA greatest_input: INTEGER_32 nb_states: INTEGER_32 possible_tokens (l: LINKED_LIST [INTEGER_32]): detachable ARRAY [INTEGER_32] recognize (l: LINKED_LIST [INTEGER_32]): 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