IFC 4.3.2.20240128 (IFC4X3_ADD2) under development

8.8.3.23 IfcHalfSpaceSolid

8.8.3.23.1 Semantic definition

A half space solid divides the domain into two by a base surface. Normally, the base surface is a plane and divides the infinitive space into two and indicates the side of the half-space by agreeing or disagreeing to the normal of the plane.

Figure 8.8.3.23.A illustrates the definition of the IfcHalfSpaceSolid within a given coordinate system. The base surface is given by an unbounded plane, the red boundary is shown for visualization purposes only.

half space solid
Figure 8.8.3.23.A — Half space solid geometry

For a valid half space solid the surface shall divide the domain into exactly two subsets. Also, within the domain the surface shall be manifold and all surface normals shall point into the same subset.

Informal Propositions

  1. The base surface shall divide the domain into exactly two subsets. If the half space solid is of subtype boxed half space (IfcBoxedHalfSpace), the domain in question is that of the attribute enclosure. In all other cases the domain is all of space and the base surface shall be unbounded.
  2. The base surface shall be an unbounded surface (subtype of IfcElementarySurface).

8.8.3.23.2 Entity inheritance

8.8.3.23.3 Attributes

# Attribute Type Description
IfcRepresentationItem (2)
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.

Click to show 2 hidden inherited attributes Click to hide 2 inherited attributes
IfcHalfSpaceSolid (3)
1 BaseSurface IfcSurface

Surface defining side of half space.

2 AgreementFlag IfcBoolean

The agreement flag is TRUE if the normal to the BaseSurface points away from the material of the IfcHalfSpaceSolid. Otherwise it is FALSE.

* Dim IfcDimensionCount

This attribute is formally derived.

3

The space dimensionality of this class, it is always 3

Table 8.8.3.23.B

8.8.3.23.4 Formal representation

ENTITY IfcHalfSpaceSolid
 SUPERTYPE OF (ONEOF
	(IfcBoxedHalfSpace
	,IfcPolygonalBoundedHalfSpace))
 SUBTYPE OF (IfcGeometricRepresentationItem);
	BaseSurface : IfcSurface;
	AgreementFlag : IfcBoolean;
 DERIVE
	 Dim : IfcDimensionCount := 3;
END_ENTITY;

8.8.3.23.5 References

Edit on Github


Is this page difficult to understand? Let us know!

8.8.3.23.6 Changelog

8.8.3.23.6.1 IFC4

  • attribute AgreementFlag type, Changed from "boolean" to "IfcBoolean"