Automatic generation produced by ISE Eiffel
class SHELL_SORTER [G] Ancestors SORTER* [G] Clients SHELL_SORTER [G] Suppliers INDEXABLE* [G, H -> INTEGER_32] INTEGER_32 PART_COMPARATOR* [G] SHELL_SORTER [G] -- Generated by Eiffel Studio --
For more details: eiffel.org