8.20.2.1 IfcShell（壳）

8.20.2.1.1 语义定义

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

8.20.2.1.2 类型值

类型
IfcClosedShell
IfcOpenShell

8.20.2.1.3 形式化表示

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

8.20.2.1.4 参考

• IfcShellBasedSurfaceModel