IfcHalfSpaceSolid

半空间实体通过一个基曲面将域分成两部分。通常，基面是一个平面，它将无限空间分成两部分，通过与平面法线的一致或不一致来表示半空间的边。

下图说明了给定坐标系中IfcHalfSpaceSolid的定义。基面由无界平面给出，红色边界仅用于可视化目的。

注：定义根据ISO/CD 10303-42:1992

半空间实体是由位于无界曲面一侧的域的正则子集半空间定义的。半空间中曲面的边由曲面法线和一致标志确定。如果agreement标志为TRUE，则子集是法线指向的子集。如果agreement标志为FALSE，则该子集就是法线指向的子集。

对于一个有效的半空间实体，表面应将该域精确地分为两个子集。此外，在域内，曲面应为流形，所有曲面法线应指向同一子集。

注意：半空间不是实体模型的子类型，半空间实体仅用作布尔表达式中的操作数。

注：实体改编自ISO 10303-42中定义的半空间_实体。

IFC1.5中的历史新实体

非正式提议：

基面应将该区域精确划分为两个子集。如果半空间实体属于子类型boxed half space（IfcBoxedHalfSpace），则所讨论的域就是属性enclosure的域。在所有其他情况下，该区域为所有空间，且基础表面应无边界。

基面应为无边界表面（IfcElementarySurface的子类型）。

#	Attribute	Type	Cardinality	Description	C
IfcRepresentationItem
	LayerAssignment	IfcPresentationLayerAssignment @AssignedItems	S[0:1]	Assignment of the representation item to a single or multiple layer(s). The LayerAssignments can override a LayerAssignments of the IfcRepresentation it is used within the list of Items.	X
	StyledByItem	IfcStyledItem @Item	S[0:1]	Reference to the IfcStyledItem that provides presentation information to the representation, e.g. a curve style, including colour and thickness to a geometric curve.	X
IfcGeometricRepresentationItem
IfcHalfSpaceSolid
1	BaseSurface	IfcSurface	[1:1]	Surface defining side of half space.	X
2	AgreementFlag	IfcBoolean	[1:1]	The agreement flag is TRUE if the normal to the BaseSurface points away from the material of the IfcHalfSpaceSolid. Otherwise it is FALSE.	X
	Dim :=3	IfcDimensionCount	[1:1]	The space dimensionality of this class, it is always 3	X

EXPRESS Specification

ENTITY IfcHalfSpaceSolid
 SUPERTYPE OF(ONEOF(IfcBoxedHalfSpace, IfcPolygonalBoundedHalfSpace))
 SUBTYPE OF (IfcGeometricRepresentationItem);
  BaseSurface : IfcSurface;
  AgreementFlag : IfcBoolean;
 DERIVE
  Dim : IfcDimensionCount := 3;
END_ENTITY;