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