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