Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	SEARCH_TABLE_ITERATION_CURSOR [K -> HASHABLE]

General
	cluster: base_extension
	description: "Concrete of an external iteration cursor for {SEARCH_TABLE}."
	create: make

Ancestors
	ITERATION_CURSOR* [G]

Queries
	after: BOOLEAN
	item: K

Commands
	forth



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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