该函数获取IfcProperty的集合。它遍历IfcProperty的attibute名称，并验证没有名称出现两次。
IFC4中的新功能
EXPRESS Specification
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));
#########################
原文：https://www.cnblogs.com/herd/p/14994544.html