5.1.6.4 IfcUniquePropertyTemplateNames
5.1.6.4.1 Semantic definition
The function gets the set of IfcPropertyTemplate's. It iterates through the Name attribute of the IfcPropertyTemplate's and verifies that no Name appears twice.
5.1.6.4.2 Formal representation
FUNCTION IfcUniquePropertyTemplateNames
(Properties : SET [1:?] OF IfcPropertyTemplate)
: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;