Automatic generation produced by ISE Eiffel
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 [ANY, TUPLE [INTEGER_32], BOOLEAN]): BOOLEAN exists1 (condition: FUNCTION [ANY, TUPLE [INTEGER_32], BOOLEAN]): BOOLEAN extendible: BOOLEAN for_all (condition: FUNCTION [ANY, TUPLE [INTEGER_32], BOOLEAN]): BOOLEAN full: BOOLEAN Growth_percentage: INTEGER_32 has (v: INTEGER_32): BOOLEAN hold_count (condition: FUNCTION [ANY, TUPLE [INTEGER_32], BOOLEAN]): INTEGER_32 index_set: INTEGER_INTERVAL is_empty: BOOLEAN is_equal (other: [like Current] attached 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] attached INTEGER_INTERVAL upper: INTEGER_32 upper_defined: BOOLEAN valid_index (v: INTEGER_32): BOOLEAN Commands adapt (other: INTEGER_INTERVAL) automatic_grow compare_objects compare_references copy (other: [like Current] attached INTEGER_INTERVAL) do_all (action: PROCEDURE [ANY, TUPLE [INTEGER_32]]) extend (v: INTEGER_32) fill (other: CONTAINER [INTEGER_32]) grow (i: 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 index set is range not infinite -- Generated by Eiffel Studio --
For more details: docs.eiffel.com