5.1.3.24 IfcRelAssignsToGroup
5.1.3.24.1 Semantic definition
The objectified relationship IfcRelAssignsToGroup handles the assignment of object definitions (individual object occurrences as subtypes of IfcObject, and object types as subtypes of IfcTypeObject) to a group (subtypes of IfcGroup).
The relationship handles the assignment of group members to the group object. It allows for grouping arbitrary objects within a group, including other groups. The grouping relationship can be applied in a recursive manner. The resulting group is of type IfcGroup.
The inherited attribute RelatedObjects gives the references to the objects, which are the elements within the group. The RelatingGroup is the group that comprises all elements. The same object or object type can be included in zero, one or many groups. Grouping relationships are not hierarchical.
Informal Propositions
- The group assignment relationship shall be acyclic, that is, a group shall not participate in its own grouping relationship.
5.1.3.24.2 Entity inheritance
5.1.3.24.3 Attributes
# | Attribute | Type | Description |
---|---|---|---|
IfcRoot (4) | |||
IfcRelAssigns (2) | |||
Click to show 6 hidden inherited attributes Click to hide 6 inherited attributes | |||
IfcRelAssignsToGroup (1) | |||
7 | RelatingGroup | IfcGroup |
Reference to group that contains all assigned group members. |
5.1.3.24.4 Formal propositions
Name | Description |
---|---|
NoSelfReference |
The instance to which the relation points shall not be contained in the set of RelatedObjects. |
|
5.1.3.24.5 Concept usage
Concept | Usage | Description | |
---|---|---|---|
IfcRoot (2) | |||
Click to show 2 hidden inherited concepts Click to hide 2 inherited concepts |
5.1.3.24.6 Examples
5.1.3.24.7 Formal representation
ENTITY IfcRelAssignsToGroup SUPERTYPE OF (ONEOF (IfcRelAssignsToGroupByFactor)) SUBTYPE OF (IfcRelAssigns); RelatingGroup : IfcGroup; WHERE NoSelfReference : SIZEOF(QUERY(Temp <* SELF\IfcRelAssigns.RelatedObjects | RelatingGroup :=: Temp)) = 0; END_ENTITY;