IFC 4.3.2.20260714 (IFC4X3_ADD2) under development

8.8.2.2 IfcBooleanOperator(布尔运算符)

8.8.2.2.1 语义定义

应用于第一个和第二个布尔操作数的布尔运算符。

沿革 IFC1.5.1 中的新增实体。

8.8.2.2.2 类型值

类型 描述
DIFFERENCE(差集)

两个实体定义的体积之间的正则化集合论差集。

INTERSECTION(交集)

构建两个实体定义的体积的正则化集合论交集的操作。

UNION(并集)

构建两个实体定义的体积的正则化集合论并集的操作。

表 8.8.2.2.A

8.8.2.2.3 形式化表示

TYPE IfcBooleanOperator = ENUMERATION OF
	(DIFFERENCE
	,INTERSECTION
	,UNION);
END_TYPE;

8.8.2.2.4 参考