Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:
deferred class ITERATOR [G] Ancestors ANY Descendants LINEAR_ITERATOR [G] Clients ITERATOR* [G] Suppliers ITERATOR* [G] TRAVERSABLE* [G]
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:

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