8.8.3.23 IfcHalfSpaceSolid（半空间实体）
AbV ⓘ
8.8.3.23.1 语义定义（Semantic definition）
半空间实体通过一个基准面将空间域划分为两部分。通常情况下，该基准面是一个平面，将无限空间划分为两个部分，并通过与平面法向量的一致或非一致来指示半空间的方位。
图1展示了在给定坐标系中 IfcHalfSpaceSolid 的定义。基准面由无界平面定义，红色边界仅用于可视化目的。
对于有效的半空间实体，表面应将空间域精确划分为两个子集。同时，在空间域内表面应为流形，且所有表面法向量应指向同一子集。
非正式命题
- 基准面应将空间域精确划分为两个子集。如果半空间实体是盒式半空间（IfcBoxedHalfSpace）的子类型，则所讨论的空间域是enclosure属性的域。在所有其他情况下，空间域是整个空间，且基准面应为无界表面。
- 基准面应为无界表面（IfcElementarySurface 的子类型）。
8.8.3.23.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.23.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，例如，为几何曲线提供曲线样式，包括颜色和厚度。 |
|
| 点击显示 2 个隐藏的继承特性 点击隐藏 2 个继承特性 | |||
| IfcHalfSpaceSolid (3) | |||
| 1 | BaseSurface | IfcSurface |
定义半空间边界的表面。 |
| 2 | AgreementFlag | IfcBoolean |
如果BaseSurface的法向量指向IfcHalfSpaceSolid材料的外部，则一致标志为TRUE。否则为FALSE。 |
| * | Dim | IfcDimensionCount |
此属性是形式化派生的 该类的空间维度，始终为3。 |
8.8.3.23.4 形式化表示（Formal representation）
ENTITY IfcHalfSpaceSolid
SUPERTYPE OF (ONEOF
(IfcBoxedHalfSpace
,IfcPolygonalBoundedHalfSpace))
SUBTYPE OF (IfcGeometricRepresentationItem);
BaseSurface : IfcSurface;
AgreementFlag : IfcBoolean;
DERIVE
Dim : IfcDimensionCount := 3;
END_ENTITY;