8.11.3.11 IfcUnitAssignment
8.11.3.11.1 Semantic definition
IfcUnitAssignment indicates a set of units which may be assigned. Within an IfcUnitAssigment each unit definition shall be unique; that is, there shall be no redundant unit definitions for the same unit type such as length unit or area unit. For currencies, there shall be only a single IfcMonetaryUnit within an IfcUnitAssignment.
8.11.3.11.2 Entity inheritance
8.11.3.11.3 Attributes
| # | Attribute | Type | Description |
|---|---|---|---|
| IfcUnitAssignment (1) | |||
| 1 | Units | SET [1:?] OF IfcUnit |
Units to be included within a unit assignment. |
8.11.3.11.4 Formal propositions
| Name | Description |
|---|---|
| WR01 |
Checks that the set of globally assigned units has each unit type (either of type IfcNamedUnit,IfcDerivedUnit, or IfcMonetaryUnit) defined only once. |
|
|
8.11.3.11.5 Examples
-
Figure 8.11.3.11.A -
Figure 8.11.3.11.B -
Figure 8.11.3.11.C -
Figure 8.11.3.11.D -
Figure 8.11.3.11.E -
Figure 8.11.3.11.F -
Figure 8.11.3.11.G -
Figure 8.11.3.11.H -
Figure 8.11.3.11.I -
Figure 8.11.3.11.J -
Figure 8.11.3.11.K -
Figure 8.11.3.11.L -
Figure 8.11.3.11.M -
Figure 8.11.3.11.N -
Figure 8.11.3.11.O -
Figure 8.11.3.11.P -
Figure 8.11.3.11.Q -
Figure 8.11.3.11.R -
Figure 8.11.3.11.S
8.11.3.11.6 Formal representation
ENTITY IfcUnitAssignment;
Units : SET [1:?] OF IfcUnit;
WHERE
WR01 : IfcCorrectUnitAssignment(Units);
END_ENTITY;