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） | 类型（Type） | 描述（Description） |
|---|---|---|---|
| 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 个继承特性 | |||
| IfcVertexLoop (1) | |||
| 1 | LoopVertex | IfcVertex |
定义整个环的顶点。 |
8.20.3.19.4 形式化表示（Formal representation）
ENTITY IfcVertexLoop
SUBTYPE OF (IfcLoop);
LoopVertex : IfcVertex;
END_ENTITY;