Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
deferred class
	ABSTRACT_SPECIAL

General
	cluster: elks
	description: "Ancestor of SPECIAL to perform queries on SPECIAL without knowing its actual generic type."

Ancestors
	DEBUG_OUTPUT*

Queries
	capacity: INTEGER_32
	count: INTEGER_32
	debug_output: STRING_8
	valid_index (i: INTEGER_32): BOOLEAN

Constraints
	count less than capacity



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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