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） | 类型 | 描述 |
|---|---|---|---|
| IfcRepresentationItem (2) | |||
| IfcSolidModel (1) | |||
| 点击显示 3 个隐藏的继承特性 点击隐藏 3 个继承特性 | |||
| IfcManifoldSolidBrep (1) | |||
8.8.3.19.4 形式化表示（Formal representation）
ENTITY IfcFacetedBrepWithVoids
SUBTYPE OF (IfcFacetedBrep);
Voids : SET [1:?] OF IfcClosedShell;
END_ENTITY;