5.3.2.4 IfcSequenceEnum（序列枚举）

5.3.2.4.1 语义定义（Semantic definition）

IfcSequenceEnum 是一个枚举，定义了时间滞后应用于两个进程之间序列的不同方式。

5.3.2.4.2 类型值（Type values）

类型（Type）	描述（Description）
FINISH_FINISH	前置任务必须完成，后继任务才能完成。
FINISH_START	前置任务必须完成，后继任务才能开始。
START_FINISH	前置任务必须开始，后继任务才能完成。
START_START	前置任务必须开始，后继任务才能开始。
USERDEFINED	用户定义。
NOTDEFINED	未定义。

5.3.2.4.3 形式化表示（Formal representation）

TYPE IfcSequenceEnum = ENUMERATION OF
	(FINISH_FINISH
	,FINISH_START
	,START_FINISH
	,START_START
	,USERDEFINED
	,NOTDEFINED);
END_TYPE;

5.3.2.4.4 参考（References）

• IfcRelSequence