Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:
deferred class SET [G] Ancestors COLLECTION [G] Descendants INTEGER_INTERVAL SUBSET [G] Clients SET [G] Suppliers BOOLEAN INTEGER SET [G]
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Flat contracts Go to:

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