IFC 4.3.0.1 (IFC4X3) development

# 8.8.3.4 IfcBooleanClippingResult

## 8.8.3.4.1 Semantic definition

A clipping result is defined as a special subtype of the general IfcBooleanResult. It constrains the operands and the operator of the Boolean result.

A clipping result is the Boolean difference between a swept solid and a half space solid, or between the result of the Boolean difference and a half space solid. Hence more than one difference operation can be applied to achieve the final Boolean result.

## 8.8.3.4.5 Formal representation

ENTITY IfcBooleanClippingResult
SUBTYPE OF (IfcBooleanResult);
WHERE
FirstOperandType : ('IFC4X3_DEV_70ce626d.IFCSWEPTAREASOLID' IN TYPEOF(FirstOperand)) OR
('IFC4X3_DEV_70ce626d.IFCSWEPTDISCSOLID' IN TYPEOF(FirstOperand)) OR
('IFC4X3_DEV_70ce626d.IFCBOOLEANCLIPPINGRESULT' IN TYPEOF(FirstOperand));
OperatorType : Operator = DIFFERENCE;
SecondOperandType : ('IFC4X3_DEV_70ce626d.IFCHALFSPACESOLID' IN TYPEOF(SecondOperand));
END_ENTITY;