class INTEGER_INTERVAL General cluster: base 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] 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 infix "@" (i: INTEGER_32): INTEGER_32 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 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 compare_objects compare_references copy (other: [like Current] 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) wipe_out Constraints count definition index set is range not infinite