8.11.3.11 IfcUnitAssignment（单位分配）
RV ⓘ
AbV ⓘ
8.11.3.11.1 语义定义（Semantic definition）
IfcUnitAssignment 表示一组可被分配的单位。在 IfcUnitAssignment 中，每个单位定义都应是唯一的；即对于同一单位类型（如长度单位或面积单位）不应存在冗余的单位定义。对于货币单位，一个 IfcUnitAssignment 中应仅包含一个 IfcMonetaryUnit。
8.11.3.11.2 实体继承（Entity inheritance）
8.11.3.11.3 特性（Attributes）
| # | 特性（Attributes） | 类型 | 描述 |
|---|---|---|---|
| IfcUnitAssignment (1) | |||
| 1 | Units | SET [1:?] OF IfcUnit |
要包含在单位分配中的单位集合。 |
8.11.3.11.4 形式化命题（Formal propositions）
| 名称 | 描述 |
|---|---|
| WR01 |
检查全局分配的单位集合中，每种单位类型（无论是 IfcNamedUnit、IfcDerivedUnit 还是 IfcMonetaryUnit 类型）仅被定义一次。 |
|
|
8.11.3.11.5 形式化表示（Formal representation）
ENTITY IfcUnitAssignment;
Units : SET [1:?] OF IfcUnit;
WHERE
WR01 : IfcCorrectUnitAssignment(Units);
END_ENTITY;