IFC 4.3.2.20250327 (IFC4X3_ADD2) under development

8.20.3.14 IfcPath

8.20.3.14.1 Semantic definition

An individual edge can only be referenced once by an individual path. An edge can be referenced by multiple paths. An edge can exist independently of a path.

Informal Propositions

  1. A path has dimensionality 1.
  2. A path is arcwise connected.
  3. The edges of the path do not intersect except at common vertices.
  4. A path has a finite, non-zero extent.

8.20.3.14.2 Entity inheritance

8.20.3.14.3 Attributes

# Attribute Type Description
IfcRepresentationItem (2)
Click to show 2 hidden inherited attributes
IfcPath (1)
1 EdgeList LIST [1:?] OF UNIQUE IfcOrientedEdge

The list of oriented edges which are concatenated together to form this path.
Table 8.20.3.14.A

8.20.3.14.4 Formal propositions

Name Description
IsContinuous

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

 
IfcPathHeadToTail(SELF)
Table 8.20.3.14.B

8.20.3.14.5 Formal representation 

ENTITY IfcPath
 SUBTYPE OF (IfcTopologicalRepresentationItem);
	EdgeList : LIST [1:?] OF UNIQUE IfcOrientedEdge;
 WHERE
	IsContinuous : IfcPathHeadToTail(SELF);
END_ENTITY;

8.20.3.14.6 References

Edit on Github


Is this page difficult to understand? Let us know!

8.20.3.14.7 Changelog

8.20.3.14.7.1 IFC4

  • where rule, IsContinuous
  • where rule, WR1

8.20.3.14.7.2 IFC4.2

8.20.3.14.7.3 IFC4.3_DEV_738df036