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 (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
	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)
	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

Generated by ISE EiffelStudio