class P_FLOOR Ancestors ANY Clients I_MAIN P_DOORS P_FLOOR P_SWITCH Suppliers BOOLEAN FIXED_T I_MAIN NOT_IMPLEMENTED P_FLOOR P_MAP RESULT_E SECTOR_T
Generated by ISE EiffelStudio