8.20.3.19 IfcVertexLoop（顶点环）
8.20.3.19.1 语义定义（Semantic definition）
Figure 8.20.3.19.A
非正式命题
- 顶点环具有零范围和零维度。
- 顶点环的亏格为 0。
8.20.3.19.2 实体继承（Entity inheritance）
8.20.3.19.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcRepresentationItem (2) | |||
| 点击显示 2 个隐藏的继承特性 点击隐藏 2 个继承特性 | |||
| IfcVertexLoop (1) | |||
8.20.3.19.4 形式化表示（Formal representation）
ENTITY IfcVertexLoop
SUBTYPE OF (IfcLoop);
LoopVertex : IfcVertex;
END_ENTITY;