8.20.3.6 IfcEdgeLoop（边环）
8.20.3.6.1 语义定义（Semantic definition）
注意 根据 ISO/CD 10303-42:1992 的定义
边环是具有非零范围的环。它是起点和终点顶点相同的路径。如果存在定义域，则是一条闭合曲线。边环可以自重叠。注意 实体改编自 ISO 10303-42 中定义的 edge_loop。
非正式命题
- IfcEdgeLoop 的亏格必须大于等于 1。
- 必须满足欧拉公式：（顶点数）+ 亏格 - （边数）= 1；
- 同一 IfcEdgeLoop 不得以相同方向多次引用同一条边。为此，非定向边被视为以 TRUE 方向引用。
8.20.3.6.2 实体继承（Entity inheritance）
8.20.3.6.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 个继承特性 | |||
| IfcEdgeLoop (2) | |||
| 1 | EdgeList | LIST [1:?] OF IfcOrientedEdge |
构成此路径的定向边实体列表。 |
| * | Ne | IfcInteger |
此属性是形式化派生的 边列表中的元素数量。 |
8.20.3.6.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| IsClosed |
第一条边的起始顶点必须与最后一条边的结束顶点相同。这确保了路径闭合形成环。 |
|
|
| IsContinuous |
每条边的结束顶点必须与其后继边的起始顶点相同。 |
|
|
8.20.3.6.5 形式化表示（Formal representation）
ENTITY IfcEdgeLoop
SUBTYPE OF (IfcLoop);
EdgeList : LIST [1:?] OF IfcOrientedEdge;
DERIVE
Ne : IfcInteger := SIZEOF(EdgeList);
WHERE
IsClosed : (EdgeList[1].EdgeStart) :=: (EdgeList[Ne].EdgeEnd);
IsContinuous : IfcLoopHeadToTail(SELF);
END_ENTITY;