IFC 4.4.0.0 build 20261005 (IFC4X4_DEV_20260525) ⚠ buildingSMART Working Draft. All content is under development.

  • Help suggest improvements
  • Get user or developer support

8.20.3.15 IfcPolyLoop

8.20.3.15.1 Semantic definition

{ .extDef}

A poly loop shall conform to the following topological constraints: > * the loop has the genus of one. * the following equation shall be satisfied Image
Figure A

The IfcPolyLoop is always closed and the last segment is from the last IfcCartesianPoint in the list of Polygon's to the first IfcCartesianPoint. Therefore the first point shall not be repeated at the end of the list, neither by referencing the same instance, nor by using an additional instance of IfcCartesianPoint having the coordinates as the first point.

Informal Propositions

  1. All the points in the polygon defining the poly loop shall be coplanar.
  2. The first and the last Polygon shall be different by value.

8.20.3.15.2 Entity inheritance

8.20.3.15.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
IfcPolyLoop (1)
1 Polygon LIST [3:?] OF UNIQUE IfcCartesianPoint

List of points defining the loop. There are no repeated points in the list.
Table B

8.20.3.15.4 Formal propositions

Name Description
AllPointsSameDim

The space dimensionality of all Points shall be the same.

 
SIZEOF(QUERY(Temp <* Polygon | Temp.Dim <> Polygon[1].Dim)) = 0
Table C

8.20.3.15.5 Formal representation 

ENTITY IfcPolyLoop
SUBTYPE OF (IfcLoop);
Polygon : LIST [3:?] OF UNIQUE IfcCartesianPoint;
WHERE
AllPointsSameDim : SIZEOF(QUERY(Temp <* Polygon | Temp.Dim <> Polygon[1].Dim)) = 0;
END_ENTITY;

8.20.3.15.6 References

Edit on Github

4 contributor(s): ArturTomczakbSI-BotThomas KrijnenDion Moult
Last change: Improve definition split (#876) * bring back headers headers were previously removed by mistake, now bringing them back * add new lines and rename the tag add the word 'short' in it * unify newlines make exactly one newline before and two after the tag * resolving typos Because bringing back headers required to go back in time to previous version, I'm now re-resolving the issues: #861, #860, #856 by ArturTomczak on 2024-07-16T16:07:28+02:00

Is this page difficult to understand? Let us know!

8.20.3.15.7 Changelog

8.20.3.15.7.1 IFC4

  • where rule, AllPointsSameDim
  • where rule, WR21

8.20.3.15.7.2 IFC4.2

8.20.3.15.7.3 IFC4.3_ADD2