Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:
class ARRAY2 [G] General cluster: base.structures.table description: "Two-dimensional arrays" create: make Ancestors ARRAY [G] Queries infix "@" (i: INTEGER): G additional_space: INTEGER all_default: BOOLEAN area: SPECIAL [G] capacity: INTEGER changeable_comparison_criterion: BOOLEAN count: INTEGER entry (i: INTEGER): G extendible: BOOLEAN full: BOOLEAN Growth_percentage: INTEGER has (v: G): BOOLEAN height: INTEGER index_set: INTEGER_INTERVAL is_empty: BOOLEAN is_equal (other: [like Current] ARRAY2 [G]): BOOLEAN is_inserted (v: G): BOOLEAN item (row, column: INTEGER): G linear_representation: LINEAR [G] lower: INTEGER Minimal_increase: INTEGER object_comparison: BOOLEAN occurrences (v: G): INTEGER prunable: BOOLEAN resizable: BOOLEAN same_items (other: [like Current] ARRAY2 [G]): BOOLEAN subarray (start_pos, end_pos: INTEGER): [like Current] ARRAY2 [G] to_c: ANY upper: INTEGER valid_index (i: INTEGER): BOOLEAN valid_index_set: BOOLEAN width: INTEGER Commands automatic_grow clear_all compare_objects compare_references copy (other: [like Current] ARRAY2 [G]) discard_items enter (v: [like item] G; i: INTEGER) fill (other: CONTAINER [G]) force (v: [like item] G; row, column: INTEGER) grow (i: INTEGER) initialize (v: G) make (nb_rows, nb_columns: INTEGER) make_from_array (a: ARRAY [G]) prune_all (v: G) put (v: [like item] G; row, column: INTEGER) resize (nb_rows, nb_columns: INTEGER) subcopy (other: [like Current] ARRAY2 [G]; start_pos, end_pos, index_pos: INTEGER) wipe_out Constraints items number
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:

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