IfcBoxedHalfSpace

IfcBoxedHalfSpace（作为其超类型IfcHalfSpaceSolid）仅在布尔操作中使用。它将域精确地分为两个子集，其中所讨论的域是属性封闭的域。

属性封闭的目的是为布尔运算中的另一个操作数提供一个搜索框。它应足够大，以便在布尔运算后用半空间将生成的实体完全封闭起来。然而，它不会改变最终结果。布尔运算的结果将是相同的，就像由超类型IfcHalfSpaceSolid执行一样。见下图。

 

提供封闭体的IfcBoundingBox是为了方便接收应用程序而提供的，以便能够使用大小框比较来提高效率（例如，首先检查大小框是否相交，如果不相交，则无需进行计算来检查实体的实体是否相交）。

因此，外壳有助于防止处理与无限大小相关的问题。封闭框位于对象坐标系中，该坐标系由所表示元素的ObjectPlacement建立（例如，通过IfcLocalPlacement）。图311显示了封闭框足够大，可以完全封闭布尔结果。

 

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

此实体是由周围矩形框修剪的半空间实体的子类型。长方体的边与几何坐标系的坐标轴平行。

这个盒子的目的是通过生成有限尺寸的实体来促进CSG计算。

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

IFC1.5.1中增加的新实体

IFC4更改用法正确，外壳的位置坐标系为对象坐标系。

Formal Propositions

Rule	Description
UnboundedSurface	The BaseSurface defining the half space shall not be a bounded surface.

 

 

 

#	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
IfcBoxedHalfSpace
3	Enclosure	IfcBoundingBox	[1:1]	The box which bounds the resulting solid of the Boolean operation involving the half space solid for computational purposes only.	X

 

EXPRESS Specification

ENTITY IfcBoxedHalfSpace
 SUBTYPE OF (IfcHalfSpaceSolid);
  Enclosure : IfcBoundingBox;
 WHERE
  UnboundedSurface : NOT ('IFCGEOMETRYRESOURCE.IFCCURVEBOUNDEDPLANE' IN TYPEOF(SELF\IfcHalfSpaceSolid.BaseSurface));
END_ENTITY;