IFC 4.3.0.1 (IFC4X3) development

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;

5.1.6.3.3 References

Edit on Github


Is this page difficult to understand? Let us know!