IFC (IFC4X3_ADD1) IfcEdgeLoop Semantic definition

Informal Propositions:

  1. The genus of the IfcEdgeLoop shall be 1 or greater.
  2. The Euler formula shall be satisfied: (number of vertices) + genus - (number of edges) = 1;
  3. No edge may be referenced more than once by the same IfcEdgeLoop with the same sense. For this purpose, an edge which is not an oriented edge is considered to be referenced with the sense TRUE. Entity inheritance 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
IfcEdgeLoop (2)
1 EdgeList LIST [1:?] OF IfcOrientedEdge

A list of oriented edge entities which are concatenated together to form this path.

* Ne IfcInteger

This attribute is formally derived.


The number of elements in the edge list.

Table Formal propositions

Name Description

The start vertex of the first edge shall be the same as the end vertex of the last edge. This ensures that the path is closed to form a loop.

(EdgeList[1].EdgeStart) :=: (EdgeList[Ne].EdgeEnd)

The end vertex of each edge shall be the same as the start vertex of its successor.

Table Formal representation

ENTITY IfcEdgeLoop
 SUBTYPE OF (IfcLoop);
	EdgeList : LIST [1:?] OF IfcOrientedEdge;
	 Ne : IfcInteger := SIZEOF(EdgeList);
	IsClosed : (EdgeList[1].EdgeStart) :=: (EdgeList[Ne].EdgeEnd);
	IsContinuous : IfcLoopHeadToTail(SELF);
END_ENTITY; References Changelog IFC4

  • where rule, IsClosed
  • where rule, IsContinuous
  • where rule, WR1
  • where rule, WR2