8.11.3.11 IfcUnitAssignment（单位分配）

RV ⓘ

AbV ⓘ

8.11.3.11.1 语义定义

IfcUnitAssignment 表示一组可被分配的单位。在 IfcUnitAssignment 中，每个单位定义都应是唯一的；即对于同一单位类型（如长度单位或面积单位）不应存在冗余的单位定义。对于货币单位，一个 IfcUnitAssignment 中应仅包含一个 IfcMonetaryUnit。

沿革在 IFC1.5.1 中新增的实体。

8.11.3.11.2 实体继承

- IfcUnitAssignment

8.11.3.11.3 特性

#	特性	类型	描述
IfcUnitAssignment (1)
1	Units	SET [1:?] OF IfcUnit	要包含在单位分配中的单位集合。

表 8.11.3.11.A

8.11.3.11.4 形式化命题

名称	描述
WR01	检查全局分配的单位集合中，每种单位类型（无论是 IfcNamedUnit、IfcDerivedUnit 还是 IfcMonetaryUnit 类型）仅被定义一次。
`IfcCorrectUnitAssignment(Units)`

表 8.11.3.11.B

8.11.3.11.5 形式化表示

ENTITY IfcUnitAssignment;
	Units : SET [1:?] OF IfcUnit;
 WHERE
	WR01 : IfcCorrectUnitAssignment(Units);
END_ENTITY;

8.11.3.11.6 参考

IfcContext