Automatic generation produced by ISE Eiffel
deferred class SET [G] Ancestors COLLECTION* [G] Descendants INTEGER_INTERVAL SUBSET* [G] Clients SET* [G] Suppliers BOOLEAN INTEGER_32 SET* [G] -- Generated by ISE Eiffel --
For more details: www.eiffel.com