Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 
class
	INTEGER_INTERVAL

General
	cluster: base.kernel
	description: "Contiguous integer intervals"
	create: make

Ancestors
	INDEXABLE [G, H -> INTEGER]
	RESIZABLE [G]
	SET [G]

Queries
	infix "@" (i: INTEGER): INTEGER
	additional_space: INTEGER
	all_cleared: BOOLEAN
	as_array: ARRAY [INTEGER]
	capacity: INTEGER
	changeable_comparison_criterion: BOOLEAN
	count: INTEGER
	exists (condition: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN]): BOOLEAN
	exists1 (condition: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN]): BOOLEAN
	extendible: BOOLEAN
	for_all (condition: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN]): BOOLEAN
	full: BOOLEAN
	Growth_percentage: INTEGER
	has (v: INTEGER): BOOLEAN
	hold_count (condition: FUNCTION [ANY, TUPLE [INTEGER], BOOLEAN]): INTEGER
	index_set: INTEGER_INTERVAL
	is_empty: BOOLEAN
	is_equal (other: [like Current] INTEGER_INTERVAL): BOOLEAN
	is_inserted (v: INTEGER): BOOLEAN
	item (i: INTEGER): INTEGER
	linear_representation: LINEAR [INTEGER]
	lower: INTEGER
	lower_defined: BOOLEAN
	Minimal_increase: INTEGER
	object_comparison: BOOLEAN
	occurrences (v: INTEGER): INTEGER
	prunable: BOOLEAN
	resizable: BOOLEAN
	subinterval (start_pos, end_pos: INTEGER): [like Current] INTEGER_INTERVAL
	to_c: ANY
	upper: INTEGER
	upper_defined: BOOLEAN
	valid_index (v: INTEGER): BOOLEAN

Commands
	adapt (other: INTEGER_INTERVAL)
	automatic_grow
	compare_objects
	compare_references
	copy (other: [like Current] INTEGER_INTERVAL)
	extend (v: INTEGER)
	fill (other: CONTAINER [INTEGER])
	grow (i: INTEGER)
	prune_all (v: INTEGER)
	put (v: INTEGER)
	resize (min_index, max_index: INTEGER)
	resize_exactly (min_index, max_index: INTEGER)
	wipe_out

Constraints
	count definition
	index set is range
	not infinite



Classes
Clusters
Cluster hierarchy
Chart
Relations
Text
Flat
Contracts
Flat contracts
Go to: 

-- Generated by ISE Eiffel --
For more details: www.eiffel.com