class
	P_SPEC

Ancestors
	ANY

Clients
	I_MAIN
	P_DOORS
	P_MAP
	P_SETUP
	P_SPEC
	P_SWITCH
	P_TICK
	P_USER

Suppliers
	ARRAYED_LIST [G]
	DOOMDATA_H
	DOOMTYPE_H
	FIXED_T
	INTEGER_16
	INTEGER_32
	LINE_T
	M_FIXED
	NOT_IMPLEMENTED
	P_SPEC
	SECTOR_T


Generated by ISE EiffelStudio