8.16.3.1 IfcComplexProperty

8.16.3.1.1 Semantic definition

IfcComplexProperty is used to define complex properties to be handled completely within a property set. The included set of properties may be a mixed or consistent collection of IfcProperty subtypes. This enables the definition of a set of properties to be included as a single 'property' entry in an IfcPropertySet. The definition of such an IfcComplexProperty can be reused in many different IfcPropertySet's.

8.16.3.1.2 Entity inheritance

8.16.3.1.3 Attributes

#	Attribute	Type	Description
IfcPropertyAbstraction (1)
	HasExternalReferences	SET [0:?] OF IfcExternalReferenceRelationship FOR RelatedResourceObjects	Reference to an external reference, e.g. library, classification, or document information, that is associated to the property definition. IFC4-CHANGE New inverse attribute.
IfcProperty (8)
1	Name	IfcIdentifier	Name for this property. This label is the significant name string that defines the semantic meaning for the property.
2	Specification	OPTIONAL IfcText	URI reference to a location with semantic definition or informative text to explain the property.
	PartOfPset	SET [0:?] OF IfcPropertySet FOR HasProperties	Reference to the IfcPropertySet by which the IfcProperty is referenced. IFC4-CHANGE New inverse attribute to navigate from IfcProperty to IfcPropertySet with upward compatibility for file based exchange.
	PropertyForDependance	SET [0:?] OF IfcPropertyDependencyRelationship FOR DependingProperty	The property on whose value that of another property depends.
	PropertyDependsOn	SET [0:?] OF IfcPropertyDependencyRelationship FOR DependantProperty	The relating property on which the value of the property depends.
	PartOfComplex	SET [0:?] OF IfcComplexProperty FOR HasProperties	Reference to the IfcComplexProperty in which the IfcProperty is contained. IFC4-CHANGE The cardinality has changed to 0..n to allow reuse of instances of IfcProperty in several IfcComplexProperty with upward compatibility for file based exchange.
	HasConstraints	SET [0:?] OF IfcResourceConstraintRelationship FOR RelatedResourceObjects	User-defined constraints for the property.
	HasApprovals	SET [0:?] OF IfcResourceApprovalRelationship FOR RelatedResourceObjects	User-defined approvals for the property.
Click to show 9 hidden inherited attributes
IfcComplexProperty (2)
3	UsageName	IfcIdentifier	Usage description of the IfcComplexProperty within the property set which references the IfcComplexProperty. NOTE Consider a complex property for glazing properties. The Name attribute of the IfcComplexProperty could be Pset_GlazingProperties, and the UsageName attribute could be OuterGlazingPane.
4	HasProperties	SET [1:?] OF IfcProperty	Set of properties that can be used within this complex property (may include other complex properties).

Table 8.16.3.1.A

8.16.3.1.4 Formal propositions

Name	Description
WR21	The IfcComplexProperty should not reference itself within the list of HasProperties.
`SIZEOF(QUERY(temp <* HasProperties \| SELF :=: temp)) = 0`
WR22	Each property within the complex property shall have a unique name attribute.
`IfcUniquePropertyName(HasProperties)`

Table 8.16.3.1.B

8.16.3.1.5 Formal representation

 ENTITY IfcComplexProperty
 SUBTYPE OF (IfcProperty);
	UsageName : IfcIdentifier;
	HasProperties : SET [1:?] OF IfcProperty;
 WHERE
	WR21 : SIZEOF(QUERY(temp <* HasProperties | SELF :=: temp)) = 0;
	WR22 : IfcUniquePropertyName(HasProperties);
END_ENTITY;

8.16.3.1.6 References

IfcProperty

	ENTITY IfcComplexProperty
	SUBTYPE OF (IfcProperty);
	UsageName : IfcIdentifier;
	HasProperties : SET [1:?] OF IfcProperty;
	WHERE
	WR21 : SIZEOF(QUERY(temp <* HasProperties \| SELF :=: temp)) = 0;
	WR22 : IfcUniquePropertyName(HasProperties);
	END_ENTITY;