8.8.3.5 IfcBooleanResult
8.8.3.5.1 Semantic definition
The IfcBooleanResult is the result of applying a Boolean operation to two operands being solids.
8.8.3.5.2 Entity inheritance
-
- IfcBooleanResult
- IfcAnnotationFillArea
- IfcBoundingBox
- IfcCartesianPointList
- IfcCartesianTransformationOperator
- IfcCsgPrimitive3D
- IfcCurve
- IfcDirection
- IfcFaceBasedSurfaceModel
- IfcFillAreaStyleHatching
- IfcFillAreaStyleTiles
- IfcGeometricSet
- IfcHalfSpaceSolid
- IfcLightSource
- IfcPlacement
- IfcPlanarExtent
- IfcPoint
- IfcSectionedSpine
- IfcSegment
- IfcShellBasedSurfaceModel
- IfcSolidModel
- IfcSurface
- IfcTessellatedItem
- IfcTextLiteral
- IfcVector
8.8.3.5.3 Attributes
# | Attribute | Type | Description |
---|---|---|---|
IfcRepresentationItem (2) | |||
Click to show 2 hidden inherited attributes Click to hide 2 inherited attributes | |||
IfcBooleanResult (4) | |||
1 | Operator | IfcBooleanOperator |
The Boolean operator used in the operation to create the result. |
2 | FirstOperand | IfcBooleanOperand |
The first operand to be operated upon by the Boolean operation. |
3 | SecondOperand | IfcBooleanOperand |
The second operand specified for the operation. |
* | Dim | IfcDimensionCount |
This attribute is formally derived.
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. |
8.8.3.5.4 Formal propositions
Name | Description |
---|---|
FirstOperandClosed |
If the FirstOperand is of type IfcTessellatedFaceSet it has to be a closed tessellation. |
|
|
SameDim |
The dimensionality of the first operand shall be the same as the dimensionality of the second operand. |
|
|
SecondOperandClosed |
If the SecondOperand is of type IfcTessellatedFaceSet it has to be a closed tessellation. |
|
8.8.3.5.5 Examples
8.8.3.5.6 Formal representation
ENTITY IfcBooleanResult SUPERTYPE OF (ONEOF (IfcBooleanClippingResult)) SUBTYPE OF (IfcGeometricRepresentationItem); Operator : IfcBooleanOperator; FirstOperand : IfcBooleanOperand; SecondOperand : IfcBooleanOperand; DERIVE Dim : IfcDimensionCount := FirstOperand.Dim; WHERE FirstOperandClosed : NOT('IFC4X3_DEV_738df036.IFCTESSELLATEDFACESET' IN TYPEOF(FirstOperand)) OR (EXISTS(FirstOperand.Closed) AND FirstOperand.Closed); SameDim : FirstOperand.Dim = SecondOperand.Dim; SecondOperandClosed : NOT('IFC4X3_DEV_738df036.IFCTESSELLATEDFACESET' IN TYPEOF(SecondOperand)) OR (EXISTS(SecondOperand.Closed) AND SecondOperand.Closed); END_ENTITY;