IFC 4.3.2.20260714 (IFC4X3_ADD2) under development

5.3.2.4 IfcSequenceEnum(序列枚举)

5.3.2.4.1 语义定义

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

沿革 新实体于 IFC1.0 中引入

5.3.2.4.2 类型值

类型 描述
FINISH_FINISH(完成-完成)

前置任务应完成,后继任务才能完成。

FINISH_START(完成-开始)

前置任务应完成,后继任务才能开始。

START_FINISH(开始-完成)

前置任务应开始,后继任务才能完成。

START_START(开始-开始)

前置任务应开始,后继任务才能开始。

USERDEFINED(用户定义)

用户定义。

NOTDEFINED(未定义)

未定义。

表 5.3.2.4.A

5.3.2.4.3 形式化表示

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

5.3.2.4.4 参考