Natural language names
 | Unique Property Name |
Semantic definitions at the function
Function Definition
The function gets the set of IfcProperty's. It iterates through the Name attibute of the IfcProperty's and verifies that no Name appears twice.
HISTORY New function in IFC4
Formal representations
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));
END_FUNCTION;
References: IfcPropertySet
IfcComplexProperty
Link to this page