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.
	HasApprovals	SET [0:?] OF IfcResourceApprovalRelationship FOR RelatedResourceObjects	User-defined approvals for the property.
	HasConstraints	SET [0:?] OF IfcResourceConstraintRelationship FOR RelatedResourceObjects	User-defined constraints for the property.
	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.
	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.
	PropertyDependsOn	SET [0:?] OF IfcPropertyDependencyRelationship FOR DependantProperty	The relating property on which the value of the property depends.
	PropertyForDependance	SET [0:?] OF IfcPropertyDependencyRelationship FOR DependingProperty	The property on whose value that of another property depends.
Click to show 9 hidden inherited attributes Click to hide 9 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 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 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