8.11.3.11 IfcUnitAssignment
RV ⓘ
AbV ⓘ
8.11.3.11.1 Semantic definition
IfcUnitAssignment indicates a set of units which may be assigned. Within an IfcUnitAssignment 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 Formal representation
ENTITY IfcUnitAssignment;
Units : SET [1:?] OF IfcUnit;
WHERE
WR01 : IfcCorrectUnitAssignment(Units);
END_ENTITY;