indexable Chart

Automatic generation produced by ISE Eiffel

 Classes
 Clusters
 Cluster hierarchy
 Chart
 Relations
 Flat contracts
 Go to: 
deferred class
	INDEXABLE [G, H -> INTEGER_32 ]
General
	cluster: elks
	description: "Tables whose keys are integers in a contiguous interval"
Ancestors
	READABLE_INDEXABLE * [G]
	TABLE * [G, H]
Queries
	at alias "@ " (k: INTEGER_32 ): G
	changeable_comparison_criterion : BOOLEAN 
	extendible : BOOLEAN 
	has (v: G): BOOLEAN 
	is_empty : BOOLEAN 
	is_inserted (v: G): BOOLEAN 
	item alias "[] " (k: INTEGER_32 ): G
	linear_representation : LINEAR [G]
	lower : INTEGER_32 
	new_cursor : INDEXABLE_ITERATION_CURSOR [G]
	object_comparison : BOOLEAN 
	occurrences (v: G): INTEGER_32 
	prunable : BOOLEAN 
	upper : INTEGER_32 
	valid_index (i: INTEGER_32 ): BOOLEAN 
Commands
	bag_put (v: G)
	compare_objects 
	compare_references 
	extend (v: G)
	fill (other: CONTAINER [G])
	prune (v: G)
	prune_all (v: G)
	put (v: G; k: INTEGER_32 )
	wipe_out 

 Classes
 Clusters
 Cluster hierarchy
 Chart
 Relations
 Flat contracts
 Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org