IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

5.3.2.6 IfcWorkCalendarTypeEnum(工作日历类型枚举)

5.3.2.6.1 语义定义(Semantic definition)

IfcWorkCalendarTypeEnum 是一个枚举数据类型,用于指定可从中选择相关控制的工作日历类型。如果提供了该信息,则有助于识别基础日历。

5.3.2.6.2 类型值

类型 描述
FIRSTSHIFT

属于第一个班次。

SECONDSHIFT

属于第二个班次。

THIRDSHIFT

属于第三个班次。

USERDEFINED

用户定义。

NOTDEFINED

未定义。

表 5.3.2.6.A

5.3.2.6.3 形式化表示(Formal representation)

TYPE IfcWorkCalendarTypeEnum = ENUMERATION OF
	(FIRSTSHIFT
	,SECONDSHIFT
	,THIRDSHIFT
	,USERDEFINED
	,NOTDEFINED);
END_TYPE;

5.3.2.6.4 参考文献