Natural language names
Boolesches Ergebnis - Abkappen
Boolean Clipping Result
Résultat d'opération booléen
Semantic definitions at the entity
Entity 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.

HISTORY  New entity in IFC2x.
Formal Propositions
FirstOperandTypeThe first operand of the Boolean clipping operation shall be either an IfcSweptAreaSolid or (in case of more than one clipping) an IfcBooleanResult.
SecondOperandTypeThe second operand of the Boolean clipping operation shall be an IfcHalfSpaceSolid.
OperatorTypeThe Boolean operator for clipping is always "Difference".
Inherited definitions from supertypes
Entity inheritance IfcBooleanResult IfcGeometricRepresentationItem IfcRepresentationItem
Attribute inheritance
S[0:1]Assignment of the representation item to a single or multiple layer(s). The LayerAssignments can override a LayerAssignments of the IfcRepresentation it is used within the list of Items.
IFC2x3 CHANGE  The inverse attribute LayerAssignments has been added.
IFC4 CHANGE  The inverse attribute LayerAssignment has been restricted to max 1. Upward compatibility for file based exchange is guaranteed.
S[0:1]Reference to the IfcStyledItem that provides presentation information to the representation, e.g. a curve style, including colour and thickness to a geometric curve.
IFC2x3 CHANGE  The inverse attribute StyledByItem has been added.
1OperatorIfcBooleanOperator The Boolean operator used in the operation to create the result.X
2FirstOperandIfcBooleanOperand The first operand to be operated upon by the Boolean operation.X
3SecondOperandIfcBooleanOperand The second operand specified for the operation.X
IfcDimensionCountThe space dimensionality of this entity. It is identical with the space dimensionality of the first operand. A where rule ensures that both operands have the same space dimensionality. X
Formal representations
XML Specification
 <xs:element name="IfcBooleanClippingResult" type="ifc:IfcBooleanClippingResult" substitutionGroup="ifc:IfcBooleanResult" nillable="true"/>
 <xs:complexType name="IfcBooleanClippingResult">
   <xs:extension base="ifc:IfcBooleanResult"/>
EXPRESS Specification
ENTITY IfcBooleanClippingResult
 SUBTYPE OF (IfcBooleanResult);
  FirstOperandType : ('IFCGEOMETRICMODELRESOURCE.IfcSweptAreaSolid' IN TYPEOF(FirstOperand)) OR
('IFCGEOMETRICMODELRESOURCE.IfcBooleanClippingResult' IN TYPEOF(FirstOperand));
  SecondOperandType : ('IFCGEOMETRICMODELRESOURCE.IfcHalfSpaceSolid' IN TYPEOF(SecondOperand));
  OperatorType : Operator = DIFFERENCE;

Link to EXPRESS-G diagram EXPRESS-G diagram

Link to this page  Link to this page