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 Eiffel Studio --
For more details: eiffel.org