IfcBooleanClippingResult

Definition from IAI: A clipping result is defined as a special subtype of the general Boolean result (IfcBooleanResult). It constrains the operands and the operator of the Boolean result.

A clipping result is the Boolean difference between a solid (restricted to swept area solid) and a half space solid, whereas more than one difference operation can be applied to the Boolean result.

> NOTE The IfcBooleanClippingResult is defined as a special case of the boolean_result, as defined in ISO 10303-42:1994, p. 175. It has been added to apply further constraints to the CSG representation type.

> HISTORY New entity in IFC Release 2.x.

EXPRESS specification:

ENTITY IfcBooleanClippingResult
SUBTYPE OF ( | IfcBooleanResult);
WHERE
WR1 | : | ('IFCGEOMETRICMODELRESOURCE.IFCSWEPTAREASOLID' IN TYPEOF(FirstOperand)) OR ('IFCGEOMETRICMODELRESOURCE.IFCBOOLEANCLIPPINGRESULT' IN TYPEOF(FirstOperand));
WR2 | : | ('IFCGEOMETRICMODELRESOURCE.IFCHALFSPACESOLID' IN TYPEOF(SecondOperand));
WR3 | : | Operator = DIFFERENCE;
END_ENTITY;

Formal Propositions:

WR1 | : | The first operand of the Boolean clipping operation shall be either an IfcSweptAreaSolid or (in case of more than one clipping) an IfcBooleanResult.
WR2 | : | The second operand of the Boolean clipping operation shall be an IfcHalfSpaceSolid.
WR3 | : | The Boolean operator for clipping is always "Difference".

Inheritance graph

ENTITY IfcBooleanClippingResult;
ENTITY IfcRepresentationItem;
INVERSE
LayerAssignments | : | SET OF IfcPresentationLayerAssignment FOR AssignedItems;
StyledByItem | : | SET [0:1] OF IfcStyledItem FOR Item;
ENTITY IfcGeometricRepresentationItem;
ENTITY IfcBooleanResult;
Operator | : | IfcBooleanOperator;
FirstOperand | : | IfcBooleanOperand;
SecondOperand | : | IfcBooleanOperand;
DERIVE
Dim | : | IfcDimensionCount := FirstOperand.Dim;
ENTITY IfcBooleanClippingResult;
END_ENTITY;