class
	CEILING_E

General
	cluster: brie_doom
	description: "ceiling_e from p_spec.h"

Ancestors
	ANY

Queries
	Crushandraise: INTEGER_32
	Fastcrushandraise: INTEGER_32
	Lowerandcrush: INTEGER_32
	Lowertofloor: INTEGER_32
	Raisetohighest: INTEGER_32
	Silentcrushandrais: INTEGER_32


Generated by ISE EiffelStudio