8.8.3.19 IfcFacetedBrepWithVoids（带孔洞面片边界表示）
8.8.3.19.1 语义定义（Semantic definition）
IfcFacetedBrepWithVoids 是一种面片边界表示的特化形式，在其内部包含一个或多个孔洞。这些孔洞被表示为封闭壳体，其定义方式使得壳体的法线指向孔洞内部。
IFC4 CHANGE：子类型从 IfcManifoldSolidBrep 更改为 IfcFacetedBrep，保持基于文件交换的向上兼容性。
非正式命题
- 每个孔洞壳体应与外壳体及所有其他孔洞壳体不相交
- 每个孔洞壳体应被封闭在外壳体内，但不得封闭在任何其他孔洞壳体内。特别说明：外壳体不在孔洞壳体集合中
- IfcManifoldSolidBrep 中的每个壳体应仅被引用一次
- IfcFacetedBrep 中所有壳体的所有面的所有边界环都应为 IfcPolyLoop 类型
8.8.3.19.2 实体继承（Entity inheritance）
-
- IfcSolidModel
- IfcAnnotationFillArea
- IfcBooleanResult
- IfcBoundingBox
- IfcCartesianPointList
- IfcCartesianTransformationOperator
- IfcCsgPrimitive3D
- IfcCurve
- IfcDirection
- IfcFaceBasedSurfaceModel
- IfcFillAreaStyleHatching
- IfcFillAreaStyleTiles
- IfcGeometricSet
- IfcHalfSpaceSolid
- IfcLightSource
- IfcPlacement
- IfcPlanarExtent
- IfcPoint
- IfcSectionedSpine
- IfcSegment
- IfcShellBasedSurfaceModel
- IfcSurface
- IfcTessellatedItem
- IfcTextLiteral
- IfcVector
8.8.3.19.3 特性（Attributes）
| # | 特性（Attributes） | 类型（Type） | 描述（Description） |
|---|---|---|---|
| IfcRepresentationItem (2) | |||
| LayerAssignment | SET [0:1] OF IfcPresentationLayerAssignment FOR AssignedItems |
将表示项分配给单个或多个层。LayerAssignments 可以覆盖其所在的 IfcRepresentation 的 Items 列表中的 LayerAssignments。 |
|
| StyledByItem | SET [0:1] OF IfcStyledItem FOR Item |
引用为表示提供表现信息的 IfcStyledItem，例如，为几何曲线提供曲线样式，包括颜色和厚度。 |
|
| IfcSolidModel (1) | |||
| * | Dim | IfcDimensionCount |
此属性是形式化派生的 本类的空间维度，恒为3。 |
| IfcManifoldSolidBrep (1) | |||
| 1 | Outer | IfcClosedShell |
定义实体外部边界的闭合壳。壳法线应指向实体内部的外部。 |
| 点击显示 4 个隐藏的继承特性 点击隐藏 4 个继承特性 | |||
| IfcFacetedBrepWithVoids (1) | |||
| 2 | Voids | SET [1:?] OF IfcClosedShell |
Set of closed shells defining voids within the solid. |
8.8.3.19.4 形式化表示（Formal representation）
ENTITY IfcFacetedBrepWithVoids
SUBTYPE OF (IfcFacetedBrep);
Voids : SET [1:?] OF IfcClosedShell;
END_ENTITY;