IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

8.20.2.1 IfcShell(壳)

8.20.2.1.1 语义定义(Semantic definition)

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

8.20.2.1.2 类型值

类型
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 参考文献