class PDFA General cluster: lex description: "Partially deterministic finite state automata" create: make Ancestors ARRAY [G] ASCII NDFA* Queries Ack: INTEGER_32 additional_space: INTEGER_32 all_default: BOOLEAN Ampersand: INTEGER_32 area: SPECIAL [LINKED_LIST [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 capacity: INTEGER_32 Carriage_return: INTEGER_32 Case_diff: INTEGER_32 changeable_comparison_criterion: BOOLEAN Character_set_size: INTEGER_32 Circumflex: INTEGER_32 Closing_brace: INTEGER_32 Colon: INTEGER_32 Comma: INTEGER_32 Commercial_at: INTEGER_32 count: 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: 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 entry (i: INTEGER_32): LINKED_LIST [INTEGER_32] Eot: INTEGER_32 Equal_sign: INTEGER_32 Esc: INTEGER_32 Etb: INTEGER_32 Etx: INTEGER_32 Exclamation: INTEGER_32 extendible: BOOLEAN final_array: ARRAY [INTEGER_32] First_printable: INTEGER_32 Five: INTEGER_32 for_all (test: FUNCTION [ANY, TUPLE [LINKED_LIST [INTEGER_32]], BOOLEAN]): BOOLEAN Four: INTEGER_32 Fs: INTEGER_32 full: BOOLEAN Grave_accent: INTEGER_32 Greaterthan: INTEGER_32 greatest_input: INTEGER_32 Growth_percentage: INTEGER_32 Gs: INTEGER_32 has (v: LINKED_LIST [INTEGER_32]): BOOLEAN has_letters: BOOLEAN Home_arrow: INTEGER_32 Ht: INTEGER_32 index_set: INTEGER_INTERVAL infix "@" (i: INTEGER_32): LINKED_LIST [INTEGER_32] input_array: ARRAY [FIXED_INTEGER_SET] is_empty: BOOLEAN is_equal (other: [like Current] PDFA): BOOLEAN is_inserted (v: LINKED_LIST [INTEGER_32]): BOOLEAN item alias "[]" (i: INTEGER_32): LINKED_LIST [INTEGER_32] keywords_list: LINKED_LIST [STRING_8] 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 linear_representation: LINEAR [LINKED_LIST [INTEGER_32]] lower: 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 Minimal_increase: 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 object_comparison: BOOLEAN occurrences (v: LINKED_LIST [INTEGER_32]): INTEGER_32 One: INTEGER_32 Opening_brace: INTEGER_32 Overflow: INTEGER_32 Percent: INTEGER_32 Plus: INTEGER_32 prunable: BOOLEAN Questmark: INTEGER_32 Rbracket: INTEGER_32 Rcurly: INTEGER_32 resizable: BOOLEAN Right_arrow: INTEGER_32 Rs: INTEGER_32 same_items (other: [like Current] PDFA): BOOLEAN 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 subarray (start_pos, end_pos: INTEGER_32): ARRAY [LINKED_LIST [INTEGER_32]] Syn: INTEGER_32 Tabulation: INTEGER_32 there_exists (test: FUNCTION [ANY, TUPLE [LINKED_LIST [INTEGER_32]], BOOLEAN]): BOOLEAN Three: INTEGER_32 Tilde: INTEGER_32 to_cil: NATIVE_ARRAY [LINKED_LIST [INTEGER_32]] to_special: SPECIAL [LINKED_LIST [INTEGER_32]] Two: INTEGER_32 Underlined: INTEGER_32 Up_arrow: INTEGER_32 upper: 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 valid_index (i: INTEGER_32): BOOLEAN valid_index_set: BOOLEAN Vt: INTEGER_32 Zero: INTEGER_32 Commands add_keyword (word: STRING_8) array_make (min_index, max_index: INTEGER_32) automatic_grow clear_all compare_objects compare_references conservative_resize (min_index, max_index: INTEGER_32) construct_dfa copy (other: [like Current] PDFA) delete_transition (source, input_doc, target: INTEGER_32) discard_items do_all (action: PROCEDURE [ANY, TUPLE [LINKED_LIST [INTEGER_32]]]) do_if (action: PROCEDURE [ANY, TUPLE [LINKED_LIST [INTEGER_32]]]; test: FUNCTION [ANY, TUPLE [LINKED_LIST [INTEGER_32]], BOOLEAN]) enter (v: [like item] LINKED_LIST [INTEGER_32]; i: INTEGER_32) fill (other: CONTAINER [LINKED_LIST [INTEGER_32]]) force (v: [like item] LINKED_LIST [INTEGER_32]; i: INTEGER_32) grow (i: INTEGER_32) include (fa: PDFA; shift: INTEGER_32) make (n, i: INTEGER_32) make_from_array (a: ARRAY [LINKED_LIST [INTEGER_32]]) make_from_cil (na: NATIVE_ARRAY [[like item] LINKED_LIST [INTEGER_32]]) prune_all (v: LINKED_LIST [INTEGER_32]) put (v: [like item] 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_transition (source, input_doc, target: INTEGER_32) subcopy (other: ARRAY [[like item] LINKED_LIST [INTEGER_32]]; start_pos, end_pos, index_pos: INTEGER_32) trace