该页全部中文内容仅供20252453-T-424 项目组内部使用

20252453-T-424 项目

8.20.2.1 IfcShell（壳）

8.20.2.1.1 语义定义（Semantic definition）

一种包含不同类型壳的类型。

8.20.2.1.2 类型值（Type values）

类型（Type）
IfcClosedShell
IfcOpenShell
表 8.20.2.1.A

8.20.2.1.3 形式化表示（Formal representation） 

TYPE IfcShell = SELECT
	(IfcClosedShell
	,IfcOpenShell);
END_TYPE;

8.20.2.1.4 参考（References）