Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class INTEGER_INTERVAL General cluster: elks description: "Contiguous integer intervals" create: make Ancestors INDEXABLE* [G, H -> INTEGER_32] RESIZABLE* [G] SET* [G] Queries additional_space: INTEGER_32 all_cleared: BOOLEAN as_array: ARRAY [INTEGER_32] at alias "@" (i: INTEGER_32): INTEGER_32 capacity: INTEGER_32 changeable_comparison_criterion: BOOLEAN count: INTEGER_32 exists (condition: FUNCTION [INTEGER_32, BOOLEAN]): BOOLEAN exists1 (condition: FUNCTION [INTEGER_32, BOOLEAN]): BOOLEAN extendible: BOOLEAN for_all (condition: FUNCTION [INTEGER_32, BOOLEAN]): BOOLEAN full: BOOLEAN Growth_percentage: INTEGER_32 has alias "" (v: INTEGER_32): BOOLEAN hold_count (condition: FUNCTION [INTEGER_32, BOOLEAN]): INTEGER_32 index_set: INTEGER_INTERVAL is_empty: BOOLEAN is_equal (other: [like Current] INTEGER_INTERVAL): BOOLEAN is_inserted (v: INTEGER_32): BOOLEAN item alias "[]" (i: INTEGER_32): INTEGER_32 linear_representation: LINEAR [INTEGER_32] lower: INTEGER_32 Lower_defined: BOOLEAN Minimal_increase: INTEGER_32 new_cursor: INDEXABLE_ITERATION_CURSOR [INTEGER_32] object_comparison: BOOLEAN occurrences (v: INTEGER_32): INTEGER_32 prunable: BOOLEAN resizable: BOOLEAN subinterval (start_pos, end_pos: INTEGER_32): [like Current] INTEGER_INTERVAL upper: INTEGER_32 Upper_defined: BOOLEAN valid_index (v: INTEGER_32): BOOLEAN Commands adapt (other: INTEGER_INTERVAL) automatic_grow bag_put (v: INTEGER_32) compare_objects compare_references copy (other: [like Current] INTEGER_INTERVAL) do_all (action: PROCEDURE [INTEGER_32]) extend (v: INTEGER_32) fill (other: CONTAINER [INTEGER_32]) grow (i: INTEGER_32) indexable_put (v, k: INTEGER_32) prune (v: INTEGER_32) prune_all (v: INTEGER_32) put (v: INTEGER_32) resize (min_index, max_index: INTEGER_32) resize_exactly (min_index, max_index: INTEGER_32) trim wipe_out Constraints count definition not infinite
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org