Automatic generation produced by ISE Eiffel
class PDFA General cluster: lex description: "Partially deterministic finite state automata." create: make Ancestors ASCII NDFA* Queries Ack: INTEGER_32 Ampersand: INTEGER_32 Back_space: INTEGER_32 Backslash: INTEGER_32 Bar: INTEGER_32 Bel: INTEGER_32 Blank: INTEGER_32 Break: INTEGER_32 Bs: INTEGER_32 Buf_overflow: INTEGER_32 Can: INTEGER_32 Carriage_return: INTEGER_32 Case_diff: INTEGER_32 Character_set_size: INTEGER_32 Circumflex: INTEGER_32 Closing_brace: INTEGER_32 Colon: INTEGER_32 Comma: INTEGER_32 Commercial_at: INTEGER_32 Cr: INTEGER_32 Ctrl_a: INTEGER_32 Ctrl_b: INTEGER_32 Ctrl_backslash: INTEGER_32 Ctrl_c: INTEGER_32 Ctrl_circumflex: INTEGER_32 Ctrl_d: INTEGER_32 Ctrl_e: INTEGER_32 Ctrl_f: INTEGER_32 Ctrl_g: INTEGER_32 Ctrl_h: INTEGER_32 Ctrl_i: INTEGER_32 Ctrl_j: INTEGER_32 Ctrl_k: INTEGER_32 Ctrl_l: INTEGER_32 Ctrl_lbracket: INTEGER_32 Ctrl_m: INTEGER_32 Ctrl_n: INTEGER_32 Ctrl_o: INTEGER_32 Ctrl_p: INTEGER_32 Ctrl_q: INTEGER_32 Ctrl_questmark: INTEGER_32 Ctrl_r: INTEGER_32 Ctrl_rbracket: INTEGER_32 Ctrl_s: INTEGER_32 Ctrl_t: INTEGER_32 Ctrl_u: INTEGER_32 Ctrl_underlined: INTEGER_32 Ctrl_v: INTEGER_32 Ctrl_w: INTEGER_32 Ctrl_x: INTEGER_32 Ctrl_y: INTEGER_32 Ctrl_z: INTEGER_32 Dc1: INTEGER_32 Dc2: INTEGER_32 Dc3: INTEGER_32 Dc4: INTEGER_32 Del: INTEGER_32 dfa: detachable FIXED_DFA Dle: INTEGER_32 Dollar: INTEGER_32 Dot: INTEGER_32 Doublequote: INTEGER_32 Down_arrow: INTEGER_32 Eight: INTEGER_32 Em: INTEGER_32 Enq: INTEGER_32 Eot: INTEGER_32 Equal_sign: INTEGER_32 Esc: INTEGER_32 Etb: INTEGER_32 Etx: INTEGER_32 Exclamation: INTEGER_32 find_e_successors (source: INTEGER_32): detachable LINKED_LIST [INTEGER_32] find_successors (source, input_doc: INTEGER_32): detachable LINKED_LIST [INTEGER_32] First_printable: INTEGER_32 Five: INTEGER_32 Four: INTEGER_32 Fs: INTEGER_32 Grave_accent: INTEGER_32 Greaterthan: INTEGER_32 greatest_input: INTEGER_32 Gs: INTEGER_32 has_letters: BOOLEAN Home_arrow: INTEGER_32 Ht: INTEGER_32 is_equal (other: [like Current] PDFA): BOOLEAN Last_ascii: INTEGER_32 Last_printable: INTEGER_32 Lbracket: INTEGER_32 Lcurly: INTEGER_32 Left_arrow: INTEGER_32 Lessthan: INTEGER_32 Letter_layout: INTEGER_32 Line_feed: INTEGER_32 Lower_a: INTEGER_32 Lower_b: INTEGER_32 Lower_c: INTEGER_32 Lower_d: INTEGER_32 Lower_e: INTEGER_32 Lower_f: INTEGER_32 Lower_g: INTEGER_32 Lower_h: INTEGER_32 Lower_i: INTEGER_32 Lower_j: INTEGER_32 Lower_k: INTEGER_32 Lower_l: INTEGER_32 Lower_m: INTEGER_32 Lower_n: INTEGER_32 Lower_o: INTEGER_32 Lower_p: INTEGER_32 Lower_q: INTEGER_32 Lower_r: INTEGER_32 Lower_s: INTEGER_32 Lower_t: INTEGER_32 Lower_u: INTEGER_32 Lower_v: INTEGER_32 Lower_w: INTEGER_32 Lower_x: INTEGER_32 Lower_y: INTEGER_32 Lower_z: INTEGER_32 Minus: INTEGER_32 Nak: INTEGER_32 nb_states: INTEGER_32 Nine: INTEGER_32 Nl: INTEGER_32 Np: INTEGER_32 Nul: INTEGER_32 Number_sign: INTEGER_32 One: INTEGER_32 Opening_brace: INTEGER_32 Overflow: INTEGER_32 Percent: INTEGER_32 Plus: INTEGER_32 Questmark: INTEGER_32 Rbracket: INTEGER_32 Rcurly: INTEGER_32 Right_arrow: INTEGER_32 Rs: INTEGER_32 Semicolon: INTEGER_32 Seven: INTEGER_32 Si: INTEGER_32 Singlequote: INTEGER_32 Six: INTEGER_32 Slash: INTEGER_32 So: INTEGER_32 Soh: INTEGER_32 Sp: INTEGER_32 Star: INTEGER_32 start_number: INTEGER_32 Stx: INTEGER_32 Sub: INTEGER_32 Syn: INTEGER_32 Tabulation: INTEGER_32 Three: INTEGER_32 Tilde: INTEGER_32 Two: INTEGER_32 Underlined: INTEGER_32 Up_arrow: INTEGER_32 Upper_a: INTEGER_32 Upper_b: INTEGER_32 Upper_c: INTEGER_32 Upper_d: INTEGER_32 Upper_e: INTEGER_32 Upper_f: INTEGER_32 Upper_g: INTEGER_32 Upper_h: INTEGER_32 Upper_i: INTEGER_32 Upper_j: INTEGER_32 Upper_k: INTEGER_32 Upper_l: INTEGER_32 Upper_m: INTEGER_32 Upper_n: INTEGER_32 Upper_o: INTEGER_32 Upper_p: INTEGER_32 Upper_q: INTEGER_32 Upper_r: INTEGER_32 Upper_s: INTEGER_32 Upper_t: INTEGER_32 Upper_u: INTEGER_32 Upper_v: INTEGER_32 Upper_w: INTEGER_32 Upper_x: INTEGER_32 Upper_y: INTEGER_32 Upper_z: INTEGER_32 Us: INTEGER_32 Vt: INTEGER_32 Zero: INTEGER_32 Commands add_keyword (word: STRING_8) construct_dfa copy (other: [like Current] PDFA) delete_transition (source, input_doc, target: INTEGER_32) include (fa: PDFA; shift: INTEGER_32) put (v: [like item] detachable LINKED_LIST [INTEGER_32]; i: INTEGER_32) remove_case_sensitiveness set_e_transition (source, target: INTEGER_32) set_final (s, r: INTEGER_32) set_letters set_start (n: INTEGER_32) set_state set_transition (source, input_doc, target: INTEGER_32) trace -- Generated by Eiffel Studio --
For more details: eiffel.org