class ACTIVE_INTEGER_INTERVAL General cluster: base description: "Contiguous integer interval that calls an action sequence when it changes." keywords: "event, action, linked, list" create: make Ancestors INTEGER_INTERVAL Action sequences change_actions: ACTION_SEQUENCE [TUPLE] 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] ACTIVE_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] ACTIVE_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] ACTIVE_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