8.8.3.7 IfcBoxedHalfSpace（盒装半空间）
8.8.3.7.1 语义定义（Semantic definition）
IfcBoxedHalfSpace（与其超类型 IfcHalfSpaceSolid 一样）仅用于布尔运算中。它将定义域精确划分为两个子集，其中所讨论的定义域是属性 Enclosure 的定义域。
属性 Enclosure 的目的是为布尔运算中的另一个操作数提供一个搜索框。它应足够大，以完全包围与半空间进行布尔运算后得到的实体。然而，它不会改变最终结果。布尔运算的结果将与通过超类型 IfcHalfSpaceSolid 执行的结果相同。请参见下面的图1。
提供包围的 IfcBoundingBox 是为了方便接收应用程序，使其能够使用包围盒比较以提高效率（例如，首先检查包围盒是否相交，如果不相交，则无需计算实体的实体是否相交）。
因此，Enclosure 有助于避免处理与无限大小相关的问题。包围盒位于对象坐标系内，该坐标系由所表示元素的 ObjectPlacement 建立（例如，通过 IfcLocalPlacement）。图2显示 Enclosure 盒足够大，可以完全包围布尔运算的结果。
注意 根据 ISO/CD 10303-42:1992 的定义 此实体是半空间实体的子类型，通过一个周围的矩形盒进行裁剪。该盒的边缘与几何坐标系的坐标轴平行。 该盒的目的是通过生成有限大小的实体来促进 CSG 计算。
注意 实体改编自 ISO 10303-42 中定义的 boxed_half_space。
8.8.3.7.2 实体继承（Entity inheritance）
-
- IfcHalfSpaceSolid
- IfcAnnotationFillArea
- IfcBooleanResult
- IfcBoundingBox
- IfcCartesianPointList
- IfcCartesianTransformationOperator
- IfcCsgPrimitive3D
- IfcCurve
- IfcDirection
- IfcFaceBasedSurfaceModel
- IfcFillAreaStyleHatching
- IfcFillAreaStyleTiles
- IfcGeometricSet
- IfcLightSource
- IfcPlacement
- IfcPlanarExtent
- IfcPoint
- IfcSectionedSpine
- IfcSegment
- IfcShellBasedSurfaceModel
- IfcSolidModel
- IfcSurface
- IfcTessellatedItem
- IfcTextLiteral
- IfcVector
8.8.3.7.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，例如，为几何曲线提供曲线样式，包括颜色和厚度。 |
|
| IfcHalfSpaceSolid (3) | |||
| 1 | BaseSurface | IfcSurface |
定义半空间边界的表面。 |
| 2 | AgreementFlag | IfcBoolean |
如果BaseSurface的法向量指向IfcHalfSpaceSolid材料的外部，则一致标志为TRUE。否则为FALSE。 |
| * | Dim | IfcDimensionCount |
此属性是形式化派生的 该类的空间维度，始终为3。 |
| 点击显示 5 个隐藏的继承特性 点击隐藏 5 个继承特性 | |||
| IfcBoxedHalfSpace (1) | |||
| 3 | Enclosure | IfcBoundingBox |
该盒用于包围涉及半空间实体的布尔运算的结果实体，仅用于计算目的。 |
8.8.3.7.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| UnboundedSurface |
定义半空间的 BaseSurface 不应是有界曲面。 |
|
|
8.8.3.7.5 形式化表示（Formal representation）
ENTITY IfcBoxedHalfSpace
SUBTYPE OF (IfcHalfSpaceSolid);
Enclosure : IfcBoundingBox;
WHERE
UnboundedSurface : NOT ('IFC4X3_DEV_62887e3f.IFCCURVEBOUNDEDPLANE' IN TYPEOF(SELF\IfcHalfSpaceSolid.BaseSurface));
END_ENTITY;