IFC 4.3.1.0 (IFC4X3_ADD1)

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.

Table 8.11.3.11.T

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.

IfcCorrectUnitAssignment(Units)
Table 8.11.3.11.U

8.11.3.11.5 Examples

8.11.3.11.6 Formal representation

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

8.11.3.11.7 References