Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class EV_REGION_IMP Ancestors EV_REGION_I* WEL_REGION Clients EV_REGION EV_REGION_IMP Suppliers EV_RECTANGLE EV_REGION EV_REGION_IMP WEL_RGN_CONSTANTS
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org