Automatic generation produced by ISE Eiffel
deferred class PRIORITY_QUEUE [G -> PART_COMPARABLE] Ancestors DISPENSER [G] Descendants HEAP_PRIORITY_QUEUE [G -> COMPARABLE] LINKED_PRIORITY_QUEUE [G -> COMPARABLE] -- Generated by ISE Eiffel --
For more details: www.eiffel.com