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.3 形式化表示(Formal representation)
TYPE IfcWorkCalendarTypeEnum = ENUMERATION OF
(FIRSTSHIFT
,SECONDSHIFT
,THIRDSHIFT
,USERDEFINED
,NOTDEFINED);
END_TYPE;