Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:
deferred class DISPENSER [G] Ancestors ACTIVE [G] FINITE [G] Descendants PRIORITY_QUEUE [G -> PART_COMPARABLE] QUEUE [G] STACK [G] Clients DISPENSER [G] Suppliers BOOLEAN DISPENSER [G]
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:

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