#### 8.6.3.2 IfcBooleanClippingResult

| Résultat d'opération booléen
| Boolesches Ergebnis - Abkappen

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.

> HISTORY New entity in IFC2x.

XSD Specification:

<xs:element name="IfcBooleanClippingResult" type="ifc:IfcBooleanClippingResult" substitutionGroup="ifc:IfcBooleanResult" nillable="true"/>
<xs:complexType name="IfcBooleanClippingResult">
<xs:complexContent>
<xs:extension base="ifc:IfcBooleanResult"/>
</xs:complexContent>
</xs:complexType>

EXPRESS Specification:

ENTITY IfcBooleanClippingResult

| SUBTYPE OF (IfcBooleanResult);

| WHERE

FirstOperandType | : | ('IFCGEOMETRICMODELRESOURCE.IFCSWEPTAREASOLID' IN TYPEOF(FirstOperand)) OR ('IFCGEOMETRICMODELRESOURCE.IFCSWEPTDISCSOLID' IN TYPEOF(FirstOperand)) OR ('IFCGEOMETRICMODELRESOURCE.IFCBOOLEANCLIPPINGRESULT' IN TYPEOF(FirstOperand));
SecondOperandType | : | ('IFCGEOMETRICMODELRESOURCE.IFCHALFSPACESOLID' IN TYPEOF(SecondOperand));
OperatorType | : | Operator = DIFFERENCE;

END_ENTITY;

Formal Propositions:

FirstOperandType | : | The first operand of the Boolean clipping operation shall be either an IfcSweptAreaSolid, an IfcSweptDiskSolid, or (in case of more than one clipping) an IfcBooleanClippingResult.
SecondOperandType | : | The second operand of the Boolean clipping operation shall be an IfcHalfSpaceSolid.
OperatorType | : | The Boolean operator for clipping is always "Difference".

Inheritance Graph:

ENTITY IfcBooleanClippingResult

| ENTITY IfcRepresentationItem

| INVERSE

LayerAssignment | : | SET [0:1] 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;

Link to this page