8.20.3.14 IfcPath（路径）
8.20.3.14.1 语义定义（Semantic definition）
单条边仅能被单个路径引用一次。单条边可被多个路径引用。边可独立于路径存在。
非正式命题
- 路径具有维度 1。
- 路径是弧连通的。
- 路径的边仅在公共顶点处相交。
- 路径具有有限非零范围。
8.20.3.14.2 实体继承（Entity inheritance）
8.20.3.14.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcRepresentationItem (2) | |||
| LayerAssignment | SET [0:1] OF IfcPresentationLayerAssignment FOR AssignedItems |
将表示项分配给单个或多个层。LayerAssignments 可以覆盖其所在的 IfcRepresentation 的 Items 列表中的 LayerAssignments。 |
|
| StyledByItem | SET [0:1] OF IfcStyledItem FOR Item |
引用为表示提供表现信息的 IfcStyledItem，例如，为几何曲线提供曲线样式，包括颜色和厚度。 |
|
| 点击显示 2 个隐藏的继承特性 点击隐藏 2 个继承特性 | |||
| IfcPath (1) | |||
| 1 | EdgeList | LIST [1:?] OF UNIQUE IfcOrientedEdge |
串联形成此路径的有向边列表。 |
8.20.3.14.4 形式化命题（Formal propositions）
8.20.3.14.5 形式化表示（Formal representation）
ENTITY IfcPath
SUBTYPE OF (IfcTopologicalRepresentationItem);
EdgeList : LIST [1:?] OF UNIQUE IfcOrientedEdge;
WHERE
IsContinuous : IfcPathHeadToTail(SELF);
END_ENTITY;