Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:
class INTEGER_INTERVAL General cluster: base.kernel description: "Contiguous integer intervals" create: make Ancestors INDEXABLE [G, H -> INTEGER] RESIZABLE [G] SET [G] Queries infix "@" (i: INTEGER): INTEGER additional_space: INTEGER all_cleared: BOOLEAN as_array: ARRAY [INTEGER] capacity: INTEGER changeable_comparison_criterion: BOOLEAN count: INTEGER exists (condition: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN]): BOOLEAN exists1 (condition: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN]): BOOLEAN extendible: BOOLEAN for_all (condition: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN]): BOOLEAN full: BOOLEAN Growth_percentage: INTEGER has (v: INTEGER): BOOLEAN hold_count (condition: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN]): INTEGER index_set: INTEGER_INTERVAL is_empty: BOOLEAN is_equal (other: [like Current] INTEGER_INTERVAL): BOOLEAN is_inserted (v: INTEGER): BOOLEAN item (i: INTEGER): INTEGER linear_representation: LINEAR [INTEGER] lower: INTEGER lower_defined: BOOLEAN Minimal_increase: INTEGER object_comparison: BOOLEAN occurrences (v: INTEGER): INTEGER prunable: BOOLEAN resizable: BOOLEAN subinterval (start_pos, end_pos: INTEGER): [like Current] INTEGER_INTERVAL to_c: ANY upper: INTEGER upper_defined: BOOLEAN valid_index (v: INTEGER): BOOLEAN Commands adapt (other: INTEGER_INTERVAL) automatic_grow compare_objects compare_references copy (other: [like Current] INTEGER_INTERVAL) extend (v: INTEGER) fill (other: CONTAINER [INTEGER]) grow (i: INTEGER) prune_all (v: INTEGER) put (v: INTEGER) resize (min_index, max_index: INTEGER) resize_exactly (min_index, max_index: INTEGER) wipe_out Constraints count definition index set is range not infinite
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:

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