Automatic generation produced by ISE Eiffel
class TREE_NODE [G] General cluster: text_window description: "Tree Node for a 2-3-4 balanced tree" create: make, make_with_child Ancestors ANY Queries arity: INTEGER_32 Child_number: INTEGER_32 children: ARRAY [[like Current] TREE_NODE [G]] first_item: [like item] TREE_KEY [G] is_leaf: BOOLEAN is_root: BOOLEAN item (i: INTEGER_32): TREE_KEY [G] keys: ARRAY [[like item] TREE_KEY [G]] keys_before_child (i: INTEGER_32): INTEGER_32 keys_plus_one: INTEGER_32 last_item: [like item] TREE_KEY [G] parent: [like Current] TREE_NODE [G] pos_in_parent: INTEGER_32 valid_key (a_key: [like item] TREE_KEY [G]): BOOLEAN Commands balance_heavy_node balance_light_node balance_light_root delete (pos: INTEGER_32) insert_first (key: [like item] TREE_KEY [G]) insert_key_and_left_child (key: [like item] TREE_KEY [G]; node: [like Current] TREE_NODE [G]; pos: INTEGER_32) insert_key_and_right_child (key: [like item] TREE_KEY [G]; node: [like Current] TREE_NODE [G]; pos: INTEGER_32) insert_last (key: [like item] TREE_KEY [G]) make make_with_child (first_child: [like Current] TREE_NODE [G]) merge_left (other: [like Current] TREE_NODE [G]) merge_right (other: [like Current] TREE_NODE [G]) set_parent (par: [like Current] TREE_NODE [G]) -- Generated by Eiffel Studio --
For more details: eiffel.org