Automatic generation produced by ISE Eiffel
deferred class BOUNDED [G] Ancestors FINITE [G] Descendants BOUNDED_QUEUE [G] BOUNDED_STACK [G] FIXED [G] RESIZABLE [G] Clients BOUNDED [G] Suppliers BOUNDED [G] INTEGER -- Generated by ISE Eiffel --
For more details: www.eiffel.com