8.8.3.2 IfcAdvancedBrepWithVoids（带孔洞高级边界表示）
8.8.3.2.1 语义定义（Semantic definition）
带孔洞高级边界表示（IfcAdvancedBrepWithVoids）是一种高级边界表示的特化形式，在其内部包含一个或多个孔洞。这些孔洞被表示为封闭壳体，其定义方式使壳体法向指向孔洞内部。
非正式命题
- 每个孔洞壳体应与外部壳体及所有其他孔洞壳体互不相交
- 每个孔洞壳体应被封闭在外部壳体内，但不得被封闭在任何其他孔洞壳体内。特别说明：外部壳体不在孔洞壳体集合中
- IfcManifoldSolidBrep 中的每个壳体应仅被引用一次
- IfcAdvancedBrep 和 IfcAdvancedBrepWithVoids.Voids 中所有壳体的所有面都应为 IfcAdvancedFace 类型
8.8.3.2.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.2.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| 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 个继承特性 | |||
| IfcAdvancedBrepWithVoids (1) | |||
| 2 | Voids | SET [1:?] OF IfcClosedShell |
无可用描述 |
8.8.3.2.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| VoidsHaveAdvancedFaces |
无可用描述 |
|
|
8.8.3.2.5 形式化表示（Formal representation）
ENTITY IfcAdvancedBrepWithVoids
SUBTYPE OF (IfcAdvancedBrep);
Voids : SET [1:?] OF IfcClosedShell;
WHERE
VoidsHaveAdvancedFaces : SIZEOF (QUERY (Vsh <* Voids |
SIZEOF (QUERY (Afs <* Vsh.CfsFaces |
(NOT ('IFC4X3_DEV_62887e3f.IFCADVANCEDFACE' IN TYPEOF(Afs)))
)) = 0
)) = 0;
END_ENTITY;