Automatic generation produced by ISE Eiffel

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

General
	cluster: ise
	description: 
		"Equivalent of HASH_TABLE [NATURAL_32, ANY], since this type cannot be written
		as ANY does not inherit from HASHABLE"
	create: make, table_make

Ancestors
	HASH_TABLE [G, K -> detachable HASHABLE]
	SED_ABSTRACT_OBJECTS_TABLE*

Queries
	capacity: INTEGER_32
	index (an_obj: separate ANY): NATURAL_32
	is_equal (other: [attached like Current] attached SED_OBJECTS_TABLE): BOOLEAN

Commands
	copy (other: [attached like Current] attached SED_OBJECTS_TABLE)
	wipe_out

Constraints
	not is dotnet



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

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