IfcBooleanClippingResult

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

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

Inherited definitions from supertypes

Entity inheritance

Attribute inheritance

#	Attribute	Type	Cardinality	Description	C
IfcRepresentationItem
	LayerAssignment	IfcPresentationLayerAssignment @AssignedItems	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.	X
	StyledByItem	IfcStyledItem @Item	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.	X
IfcGeometricRepresentationItem
IfcBooleanResult
1	Operator	IfcBooleanOperator	[1:1]	The Boolean operator used in the operation to create the result.	X
2	FirstOperand	IfcBooleanOperand	[1:1]	The first operand to be operated upon by the Boolean operation.	X
3	SecondOperand	IfcBooleanOperand	[1:1]	The second operand specified for the operation.	X
	Dim :=FirstOperand.Dim	IfcDimensionCount	[1:1]	The 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
IfcBooleanClippingResult

Formal representations

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;

 EXPRESS-G diagram

	Boolesches Ergebnis - Abkappen
	Boolean Clipping Result
	Résultat d'opération booléen