8.20.3.11 IfcLoop（环）
8.20.3.11.1 语义定义（Semantic definition）
其中 V 和 E~l~ 是环中唯一顶点和有向边的数量，G^l^ 是环的亏格。
Figure 8.20.3.11.A
非正式命题
- 环具有有限范围。
- 环描述了一条闭合的（拓扑）曲线，其起点和终点顶点重合。
8.20.3.11.2 实体继承（Entity inheritance）
8.20.3.11.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，例如，为几何曲线提供曲线样式，包括颜色和厚度。 |
|
8.20.3.11.4 形式化表示（Formal representation）
ENTITY IfcLoop
SUPERTYPE OF (ONEOF
(IfcEdgeLoop
,IfcPolyLoop
,IfcVertexLoop))
SUBTYPE OF (IfcTopologicalRepresentationItem);
END_ENTITY;