5.4.3.55 IfcRelPositions
5.4.3.55.1 Semantic definition
An IfcRelPositions relationship defines the relationship that positions a product related to a positioning element..
5.4.3.55.2 Entity inheritance
-
- IfcRelPositions
- IfcRelConnectsElements
- IfcRelConnectsPortToElement
- IfcRelConnectsPorts
- IfcRelConnectsStructuralActivity
- IfcRelConnectsStructuralMember
- IfcRelContainedInSpatialStructure
- IfcRelCoversBldgElements
- IfcRelCoversSpaces
- IfcRelFillsElement
- IfcRelFlowControlElements
- IfcRelInterferesElements
- IfcRelReferencedInSpatialStructure
- IfcRelSequence
- IfcRelServicesBuildings
- IfcRelSpaceBoundary
5.4.3.55.3 Attributes
| # | Attribute | Type | Description |
|---|---|---|---|
| IfcRoot (4) | |||
| 1 | GlobalId | IfcGloballyUniqueId |
Assignment of a globally unique identifier within the entire software world. |
| 2 | OwnerHistory | OPTIONAL IfcOwnerHistory |
Assignment of the information about the current ownership of that object, including owning actor, application, local identification and information captured about the recent changes of the object, |
| 3 | Name | OPTIONAL IfcLabel |
Optional name for use by the participating software systems or users. For some subtypes of IfcRoot the insertion of the Name attribute may be required. This would be enforced by a where rule. |
| 4 | Description | OPTIONAL IfcText |
Optional description, provided for exchanging informative comments. |
| Click to show 4 hidden inherited attributes Click to hide 4 inherited attributes | |||
| IfcRelPositions (2) | |||
| 5 | RelatingPositioningElement | IfcPositioningElement |
Positioning element defining the source of the relative position. |
| 6 | RelatedProducts | SET [1:?] OF IfcProduct |
Relatively positioned product. |
5.4.3.55.4 Formal propositions
| Name | Description |
|---|---|
| NoSelfReference |
The instance of the PositionedElement shall not be the same instance as the Product. |
|
|
5.4.3.55.5 Concept usage
| Concept | Usage | Description | |
|---|---|---|---|
| IfcRoot (2) | |||
| Revision Control | General |
Ownership, history, and merge state is captured using IfcOwnerHistory. |
|
| Software Identity | General |
IfcRoot assigns the globally unique ID. In addition it may provide for a name and a description about the concept. |
|
| Click to show 2 hidden inherited concepts Click to hide 2 inherited concepts | |||
5.4.3.55.6 Formal representation
ENTITY IfcRelPositions
SUBTYPE OF (IfcRelConnects);
RelatingPositioningElement : IfcPositioningElement;
RelatedProducts : SET [1:?] OF IfcProduct;
WHERE
NoSelfReference : SIZEOF(QUERY(temp <* RelatedProducts | RelatingPositioningElement :=: temp)) = 0;
END_ENTITY;