IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

8.8.2.2 IfcBooleanOperator(布尔运算符)

8.8.2.2.1 语义定义(Semantic definition)

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

8.8.2.2.2 类型值

类型 描述
DIFFERENCE

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

INTERSECTION

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

UNION

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

表 8.8.2.2.A

8.8.2.2.3 形式化表示(Formal representation)

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

8.8.2.2.4 参考文献