8.8.3.5 IfcBooleanResult（布尔结果）

AbV ⓘ

8.8.3.5.1 语义定义

IfcBooleanResult 是通过对两个实体进行布尔运算得到的结果。

注释根据 ISO/CD 10303-42:1992 的定义布尔结果是对两个实体进行正则化操作以创建新实体的结果。有效的操作包括正则化并集、正则化交集和正则化差集。为了进行布尔运算，实体被视为点的正则化集合。最终的布尔结果取决于操作和两个操作数。在差集运算符的情况下，操作数的顺序也很重要。运算符可以是并集、交集或差集。这些运算符的效果描述如下： * 两个实体的并集是新的实体，它是所有位于第一个操作数或第二个操作数或两者中的点的正则化集合。 * 两个实体的交集是新的实体，它是所有同时位于第一个操作数和第二个操作数中的点的正则化集合。 * 两个实体的差集操作结果是所有位于第一个操作数但不在第二个操作数中的点的正则化集合。

8.8.3.5.2 实体继承

8.8.3.5.3 特性

#	特性	类型	描述
IfcRepresentationItem (2)
	LayerAssignment	SET [0:1] OF IfcPresentationLayerAssignment FOR AssignedItems	将表示项分配给单个或多个层。LayerAssignments 可以覆盖其所在的 IfcRepresentation 的 Items 列表中的 LayerAssignments。 IFC2x3 变更添加了反向特性 LayerAssignments。 IFC4 变更反向特性 LayerAssignment 已被限制为最多 1 个。保证了基于文件交换的向上兼容性。
	StyledByItem	SET [0:1] OF IfcStyledItem FOR Item	引用为表示提供表现信息的 IfcStyledItem，例如，为几何曲线提供曲线样式，包括颜色和厚度。 IFC2x3 变更添加了反向特性 StyledByItem。
点击显示 2 个隐藏的继承特性点击隐藏 2 个继承特性
IfcBooleanResult (4)
1	Operator	IfcBooleanOperator	用于创建结果的布尔运算中使用的布尔运算符。
2	FirstOperand	IfcBooleanOperand	布尔运算中要操作的第一个操作数。
3	SecondOperand	IfcBooleanOperand	为运算指定的第二个操作数。
*	Dim	IfcDimensionCount	此特性是形式化派生的 `FirstOperand.Dim` 此实体的空间维度。它与第一个操作数的空间维度相同。一个 where 规则确保两个操作数具有相同的空间维度。

表 8.8.3.5.A

8.8.3.5.4 形式化命题

名称	描述
FirstOperandClosed	如果 FirstOperand 的类型为 IfcTessellatedFaceSet，则它应为一个封闭的镶嵌表面。
`NOT('IFC4X3_DEV_62887e3f.IFCTESSELLATEDFACESET' IN TYPEOF(FirstOperand)) OR (EXISTS(FirstOperand.Closed) AND FirstOperand.Closed)`
SameDim	第一个操作数的维度应与第二个操作数的维度相同。
`FirstOperand.Dim = SecondOperand.Dim`
SecondOperandClosed	如果 SecondOperand 的类型为 IfcTessellatedFaceSet，则它应为一个封闭的镶嵌表面。
`NOT('IFC4X3_DEV_62887e3f.IFCTESSELLATEDFACESET' IN TYPEOF(SecondOperand)) OR (EXISTS(SecondOperand.Closed) AND SecondOperand.Closed)`

表 8.8.3.5.B

8.8.3.5.5 形式化表示

ENTITY IfcBooleanResult
 SUPERTYPE OF (ONEOF
	(IfcBooleanClippingResult))
 SUBTYPE OF (IfcGeometricRepresentationItem);
	Operator : IfcBooleanOperator;
	FirstOperand : IfcBooleanOperand;
	SecondOperand : IfcBooleanOperand;
 DERIVE
	 Dim : IfcDimensionCount := FirstOperand.Dim;
 WHERE
	FirstOperandClosed : NOT('IFC4X3_DEV_62887e3f.IFCTESSELLATEDFACESET' IN TYPEOF(FirstOperand)) OR (EXISTS(FirstOperand.Closed) AND FirstOperand.Closed);
	SameDim : FirstOperand.Dim = SecondOperand.Dim;
	SecondOperandClosed : NOT('IFC4X3_DEV_62887e3f.IFCTESSELLATEDFACESET' IN TYPEOF(SecondOperand)) OR (EXISTS(SecondOperand.Closed) AND SecondOperand.Closed);
END_ENTITY;