8.18.3.20 IfcTopologyRepresentation(拓扑表示)
8.18.3.20.1 语义定义(Semantic definition)
IfcTopologyRepresentation 表示在特定表示上下文中,产品或产品组件的特定拓扑表示概念。该表示上下文不需要(但可以是)几何表示上下文。包含以下几种预定义类型的形状表示类型:
| 类型 | 描述 |
|---|---|
| Vertex | 拓扑顶点表示(带或不带指定几何) |
| Edge | 拓扑边表示(带或不带指定几何) |
| Path | 拓扑路径表示(带或不带指定几何) |
| Face | 拓扑面表示(带或不带指定几何) |
| Shell | 拓扑壳表示(带或不带指定几何) |
| Undefined | 无约束限制 |
8.18.3.20.2 实体继承(Entity inheritance)
8.18.3.20.3 特性(Attributes)
| # | 特性(Attributes) | 类型 | 描述 |
|---|---|---|---|
| IfcRepresentation (7) | |||
| 1 | ContextOfItems | IfcRepresentationContext |
表示上下文的定义,不同子类型的表示在此上下文中有效。 |
| 2 | RepresentationIdentifier | OPTIONAL IfcLabel |
在项目内使用的表示的可选标识符。 |
| 3 | RepresentationType | OPTIONAL IfcLabel |
表示上下文类型的描述。表示类型定义了用于表示产品表示的几何或拓扑类型。更多信息在子类型 IfcShapeRepresentation 和 IfcTopologyRepresentation 中给出。 上下文类型支持的值应由实施者协议规定。 |
| 4 | Items | SET [1:?] OF IfcRepresentationItem |
为此表示定义的一组几何表示项。 |
| RepresentationMap | SET [0:1] OF IfcRepresentationMap FOR MappedRepresentation |
在 IfcRepresentationMap 中使用此表示。如果使用,此 IfcRepresentation 可以作为其 Items 之一,通过 IfcMappedItem 分配给多个表示。使用 IfcRepresentationMap 是多个产品共享一个表示(通常为 IfcShapeRepresentation 类型)的方式。 |
|
| LayerAssignments | SET [0:?] OF IfcPresentationLayerAssignment FOR AssignedItems |
将整个表示分配给单个或多个图层。LayerAssignments 可以被 Items 列表中的 IfcRepresentationItem 的 LayerAssigments 覆盖。 |
|
| OfProductRepresentation | SET [0:?] OF IfcProductRepresentation FOR Representations |
引用此单独表示所适用的产品表示。在大多数情况下,它引用一个或多个产品形状,此形状表示适用于这些产品形状。 |
|
| 点击显示 7 个隐藏的继承特性 点击隐藏 7 个继承特性 | |||
| IfcShapeModel (1) | |||
| OfShapeAspect | SET [0:1] OF IfcShapeAspect FOR ShapeRepresentations |
对形状特征的引用,该形状模型即为其形状表示。 |
|
8.18.3.20.4 形式化命题(Formal propositions)
| 名称 | 描述 |
|---|---|
| WR21 |
仅应使用拓扑表示项。 |
|
|
| WR22 |
应为拓扑表示指定表示类型。 |
|
|
| WR23 |
根据 RepresentationType 检查项的正确使用。 |
|
|
8.18.3.20.5 形式化表示(Formal representation)
ENTITY IfcTopologyRepresentation
SUBTYPE OF (IfcShapeModel);
WHERE
WR21 : SIZEOF(QUERY(temp <* SELF\IfcRepresentation.Items |
NOT('IFC4X3_DEV_62887e3f.IFCTOPOLOGICALREPRESENTATIONITEM' IN TYPEOF(temp))
)) = 0
;
WR22 : EXISTS(SELF\IfcRepresentation.RepresentationType);
WR23 : IfcTopologyRepresentationTypes(SELF\IfcRepresentation.RepresentationType, SELF\IfcRepresentation.Items);
END_ENTITY;