IFC (IFC4X3) development IfcUniquePropertyName 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. Formal representation

FUNCTION IfcUniquePropertyName
(Properties : SET [1:?] OF IfcProperty)

   Names : SET OF IfcIdentifier := [];

 REPEAT i:=1 TO HIINDEX(Properties);
   Names := Names + Properties[i].Name;

 RETURN (SIZEOF(Names) = SIZEOF(Properties));

END_FUNCTION; References

Edit on Github

Is this page difficult to understand? Let us know!