22.214.171.124.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.
- A path has dimensionality 1.
- A path is arcwise connected.
- The edges of the path do not intersect except at common vertices.
- A path has a finite, non-zero extent.
126.96.36.199.2 Entity inheritance
|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|
|1||EdgeList||LIST [1:?] OF UNIQUE IfcOrientedEdge||
The list of oriented edges which are concatenated together to form this path.
188.8.131.52.4 Formal propositions
The end vertex of each edge shall be the same as the start vertex of its successor.
184.108.40.206.5 Formal representation
ENTITY IfcPath SUBTYPE OF (IfcTopologicalRepresentationItem); EdgeList : LIST [1:?] OF UNIQUE IfcOrientedEdge; WHERE IsContinuous : IfcPathHeadToTail(SELF); END_ENTITY;