8.17.6.1 IfcUniqueQuantityNames
8.17.6.1.1 Semantic definition
The function gets the set of IfcPhysicalQuantity's. It iterates through the Name attribute of the IfcPhysicalQuantity's and verifies that no Name appears twice.
8.17.6.1.2 Formal representation
FUNCTION IfcUniqueQuantityNames
(Properties : SET [1:?] OF IfcPhysicalQuantity)
:LOGICAL;
LOCAL
Names : SET OF IfcLabel := [];
END_LOCAL;
REPEAT i:=1 TO HIINDEX(Properties);
Names := Names + Properties[i].Name;
END_REPEAT;
RETURN (SIZEOF(Names) = SIZEOF(Properties));
END_FUNCTION;