Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:
deferred class DYNAMIC_TREE [G] General cluster: base.structures.tree description: "Trees with a dynamically modifiable structure" Ancestors TREE [G] Queries arity: INTEGER binary_representation: BINARY_TREE [G] changeable_comparison_criterion: BOOLEAN child: [like parent] DYNAMIC_TREE [G] child_after: BOOLEAN child_before: BOOLEAN child_capacity: INTEGER child_cursor: CURSOR child_index: INTEGER child_isfirst: BOOLEAN child_islast: BOOLEAN child_item: [like item] G child_off: BOOLEAN child_readable: BOOLEAN child_writable: BOOLEAN count: INTEGER duplicate (n: INTEGER): [like Current] DYNAMIC_TREE [G] Extendible: BOOLEAN first_child: [like parent] DYNAMIC_TREE [G] has (v: G): BOOLEAN is_empty: BOOLEAN is_equal (other: [like Current] DYNAMIC_TREE [G]): BOOLEAN is_leaf: BOOLEAN is_root: BOOLEAN is_sibling (other: [like parent] DYNAMIC_TREE [G]): BOOLEAN item: G last_child: [like first_child] DYNAMIC_TREE [G] left_sibling: [like parent] DYNAMIC_TREE [G] linear_representation: LINEAR [G] object_comparison: BOOLEAN parent: DYNAMIC_TREE [G] Readable: BOOLEAN readable_child: BOOLEAN right_sibling: [like parent] DYNAMIC_TREE [G] valid_cursor_index (i: INTEGER): BOOLEAN Writable: BOOLEAN writable_child: BOOLEAN Commands child_back child_extend (v: [like item] G) child_finish child_forth child_go_i_th (i: INTEGER) child_go_to (p: CURSOR) child_put (v: [like item] G) child_put_left (v: [like item] G) child_put_right (v: [like item] G) child_replace (v: [like item] G) child_start compare_objects compare_references extend (v: [like item] G) fill (other: TREE [G]) fill_from_binary (b: BINARY_TREE [G]) merge_tree_after (other: [like first_child] DYNAMIC_TREE [G]) merge_tree_before (other: [like first_child] DYNAMIC_TREE [G]) prune (n: [like parent] DYNAMIC_TREE [G]) put (v: [like item] G) put_child (n: [like parent] DYNAMIC_TREE [G]) put_child_left (n: [like parent] DYNAMIC_TREE [G]) put_child_right (n: [like parent] DYNAMIC_TREE [G]) remove_child remove_left_child remove_right_child replace (v: [like item] G) replace_child (n: [like parent] DYNAMIC_TREE [G]) sprout wipe_out Constraints extendible definition child after definition
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:

-- Generated by ISE Eiffel --
For more details: www.eiffel.com