Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:
class HEAP_PRIORITY_QUEUE [G -> COMPARABLE] Ancestors PRIORITY_QUEUE* [G -> PART_COMPARABLE] RESIZABLE* [G] Clients BINARY_SEARCH_TREE [G -> COMPARABLE] HEAP_PRIORITY_QUEUE [G -> COMPARABLE] Suppliers ARRAYED_LIST [G] BOOLEAN COMPARABLE* HEAP_PRIORITY_QUEUE [G -> COMPARABLE] INTEGER_32 INTEGER_INTERVAL SPECIAL [T]
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:

-- Generated by ISE Eiffel --
For more details: www.eiffel.com