IfcUniquePropertyTemplateNames

Natural language names
Unique Property Template Names
Semantic definitions at the function
Function Definition

The function gets the set of IfcPropertyTemplate's. It iterates through the Name attibute of the IfcPropertyTemplate's and verifies that no Name appears twice.

HISTORY  New function in IFC4

Formal representations
EXPRESS Specification

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;

References  References: IfcComplexPropertyTemplate IfcPropertySetTemplate

Link to this page  Link to this page