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