5.1.6.2 IfcUniquePropertyName (唯一属性名称)

5.1.6.2.1 语义定义（Semantic definition）

该函数获取 IfcProperty 的集合。

它遍历 IfcProperty 的 Name 特性， 并验证没有 Name 重复出现。

5.1.6.2.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;

5.1.6.2.3 参考（References）

• IfcComplexProperty
• IfcPropertySet