18.104.22.168.1 Semantic definition
The IfcBoxedHalfSpace is used (as its supertype IfcHalfSpaceSolid) only within Boolean operations. It divides the domain into exactly two subsets, where the domain in question is that of the attribute Enclosure.
The purpose of the attribute Enclosure is to provide a search box for the other operand in the Boolean operation. It shall be sufficiently large to fully enclose the resulting solid after the Boolean operation with the half space. It however does not alter the final result. The result of the Boolean operation would be the same, as if executed by the supertype IfcHalfSpaceSolid. See Figure 22.214.171.124.A below.
The IfcBoundingBox that provides the enclosure is given for the convenience of the receiving application to enable the use of size box comparison for efficiency (for example, to check first whether size boxes intersect, if not no calculations has to be done to check whether the solids of the entities intersect).
The Enclosure therefore helps to prevent dealing with infinite-size related issues. The enclosure box is positioned within the object coordinate system, established by the ObjectPlacement of the element represented (for example, by IfcLocalPlacement). Figure 126.96.36.199.B shows the Enclosure box being sufficiently large to fully enclose the Boolean result.
188.8.131.52.2 Entity inheritance
|LayerAssignment||SET [0:1] OF IfcPresentationLayerAssignment FOR AssignedItems||
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.
|StyledByItem||SET [0:1] OF IfcStyledItem FOR Item||
Reference to the IfcStyledItem that provides presentation information to the representation, e.g. a curve style, including colour and thickness to a geometric curve.
Surface defining side of half space.
The agreement flag is TRUE if the normal to the BaseSurface points away from the material of the IfcHalfSpaceSolid. Otherwise it is FALSE.
This attribute is formally derived.
The space dimensionality of this class, it is always 3
|Click to show 5 hidden inherited attributes Click to hide 5 inherited attributes|
The box which bounds the resulting solid of the Boolean operation involving the half space solid for computational purposes only.
184.108.40.206.4 Formal propositions
The BaseSurface defining the half space shall not be a bounded surface.
220.127.116.11.5 Formal representation
ENTITY IfcBoxedHalfSpace SUBTYPE OF (IfcHalfSpaceSolid); Enclosure : IfcBoundingBox; WHERE UnboundedSurface : NOT ('IFC4X3_DEV_d297a43.IFCCURVEBOUNDEDPLANE' IN TYPEOF(SELF\IfcHalfSpaceSolid.BaseSurface)); END_ENTITY;