8.18.3.16 IfcShapeModel
ABSTRACT This definition may not be instantiated
8.18.3.16.1 Semantic definition
IfcShapeModel represents the concept of a particular geometric and/or topological representation of a product's shape or a product component's shape within a representation context. This representation context has to be a geometric representation context (with the exception of topology representations without associated geometry). The two subtypes are IfcShapeRepresentation to cover geometric models that represent a shape, and IfcTopologyRepresentation to cover the connectivity of a product or product component. The topology may or may not have geometry associated.
The IfcShapeModel can be a shape representation (geometric and/or topologogical) of a product (via IfcProductDefinitionShape), or a shape representation (geometric and/or topologogical) of a component of a product shape (via IfcShapeAspect).
8.18.3.16.2 Entity inheritance
8.18.3.16.3 Attributes
# | Attribute | Type | Description |
---|---|---|---|
IfcRepresentation (7) | |||
Click to show 7 hidden inherited attributes Click to hide 7 inherited attributes | |||
IfcShapeModel (1) | |||
OfShapeAspect | SET [0:1] OF IfcShapeAspect FOR ShapeRepresentations |
Reference to the shape aspect, for which it is the shape representation. |
8.18.3.16.4 Formal propositions
Name | Description | ||||||
---|---|---|---|---|---|---|---|
WR11 |
The IfcShapeModel shall be used by an IfcProductRepresentation, by an IfcRepresentationMap or by an IfcShapeAspect. |
||||||
|
8.18.3.16.5 Formal representation
ENTITY IfcShapeModel ABSTRACT SUPERTYPE OF (ONEOF (IfcShapeRepresentation ,IfcTopologyRepresentation)) SUBTYPE OF (IfcRepresentation); INVERSE OfShapeAspect : SET [0:1] OF IfcShapeAspect FOR ShapeRepresentations; WHERE WR11 : (SIZEOF(SELF\IfcRepresentation.OfProductRepresentation) = 1) XOR (SIZEOF(SELF\IfcRepresentation.RepresentationMap) = 1) XOR (SIZEOF(OfShapeAspect) = 1); END_ENTITY;