Automatic generation produced by ISE Eiffel
class SEARCH_TABLE_ITERATION_CURSOR [K -> HASHABLE] Ancestors ITERATION_CURSOR* [G] Clients SEARCH_TABLE [H -> HASHABLE] SEARCH_TABLE_ITERATION_CURSOR [K -> HASHABLE] Suppliers INTEGER_32 SEARCH_TABLE [H -> HASHABLE] SEARCH_TABLE_ITERATION_CURSOR [K -> HASHABLE] SPECIAL [T] -- Generated by Eiffel Studio --
For more details: eiffel.org