8.8.3.5 IfcBooleanResult（布尔结果）

AbV ⓘ

8.8.3.5.1 语义定义（Semantic definition）

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

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

8.8.3.5.2 实体继承（Entity inheritance）

8.8.3.5.3 特性（Attributes）

#	特性（Attributes）	类型	描述
IfcRepresentationItem (2)
点击显示 2 个隐藏的继承特性点击隐藏 2 个继承特性
IfcBooleanResult (4)

表 8.8.3.5.A

8.8.3.5.4 形式化命题（Formal propositions）

名称	描述
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 形式化表示（Formal representation）

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;