IFC 4.3.0.1 (IFC4X3) development

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

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.

Table 5.4.3.55.A

5.4.3.55.4 Formal propositions

Name Description
NoSelfReference

The instance of the PositionedElement shall not be the same instance as the Product.

SIZEOF(QUERY(temp <* RelatedProducts | RelatingPositioningElement :=: temp)) = 0
Table 5.4.3.55.B

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
Table 5.4.3.55.C

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;

5.4.3.55.7 References

Edit on Github


Is this page difficult to understand? Let us know!

5.4.3.55.8 Changelog

  • New resource