IfcPath

Definition from ISO/CD 10303-42:1992: A path is a topological entity consisting of an ordered collection of oriented edges, such that the edge start vertex of each edge coincides with the edge end of its predecessor. The path is ordered from the edge start of the first oriented edge to the edge end of the last edge. The BOOLEAN value sense in the oriented edge indicates whether the edge direction agrees with the direction of the path (TRUE) or is the opposite direction (FALSE).

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.

> NOTE Corresponding STEP entity: path. Please refer to ISO/IS 10303-42:1994, p. 133 for the final definition of the formal standard.

> HISTORY New Entity in IFC Release 2.0

Informal proposition:

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.

EXPRESS specification:

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

Attribute definitions:

EdgeList | : | The list of oriented edges which are concatenated together to form this path.

Formal Propositions:

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

Inheritance graph

ENTITY IfcPath;
ENTITY IfcRepresentationItem;
INVERSE
LayerAssignments | : | SET OF IfcPresentationLayerAssignment FOR AssignedItems;
StyledByItem | : | SET [0:1] OF IfcStyledItem FOR Item;
ENTITY IfcTopologicalRepresentationItem;
ENTITY IfcPath;
EdgeList | : | LIST [1:?] OF UNIQUE IfcOrientedEdge;
END_ENTITY;