Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class NDFA General cluster: lex description: "Non-deterministic finite state automata" Ancestors AUTOMATON* Queries dfa: detachable FIXED_DFA find_e_successors (source: INTEGER_32): detachable LINKED_LIST [INTEGER_32] find_successors (source, input_doc: INTEGER_32): detachable LINKED_LIST [INTEGER_32] greatest_input: INTEGER_32 nb_states: INTEGER_32 start_number: INTEGER_32 Commands construct_dfa delete_transition (source, input_doc, target: INTEGER_32) set_e_transition (source, target: INTEGER_32) 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