IFC 4.3.0.0 (IFC4X3) final

8.20.3.15 IfcPolyLoop

8.20.3.15.1 Semantic definition

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 8.20.3.15.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 8.20.3.15.C

8.20.3.15.5 Examples

8.20.3.15.6 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.7 References

8.20.3.15.8 Changelog

  • where_rules, AllPointsSameDim
  • where_rules, WR21