IFC 4.3.2.20250327 (IFC4X3_ADD2) under development

6.3.3.3 IfcDiscreteAccessory

6.3.3.3.1 Semantic definition

A discrete accessory is a representation of different kinds of accessories included in or added to elements.

6.3.3.3.2 Entity inheritance

6.3.3.3.3 Attributes

# Attribute Type Description
IfcRoot (4)
IfcObjectDefinition (7)
IfcObject (5)
IfcProduct (5)
IfcElement (13)
Click to show 34 hidden inherited attributes
IfcDiscreteAccessory (1)
9 PredefinedType OPTIONAL IfcDiscreteAccessoryTypeEnum

Subtype of discrete accessory. If USERDEFINED, the type is further qualified by means of the inherited attribute ObjectType. Refer to IfcDiscreteAccessoryType for a non-exclusive list of userdefined type designations which are applicable to IfcDiscreteAccessory as well.

Table 6.3.3.3.E

6.3.3.3.4 Formal propositions

Name Description
CorrectPredefinedType

Either the PredefinedType attribute is unset (e.g. because an IfcDiscreteAccessoryType is associated), or the inherited attribute ObjectType shall be provided, if the PredefinedType is set to USERDEFINED.

NOT(EXISTS(PredefinedType)) OR
(PredefinedType <> IfcDiscreteAccessoryTypeEnum.USERDEFINED) OR
((PredefinedType = IfcDiscreteAccessoryTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType))
CorrectTypeAssigned

If this occurrence is defined by a type object, the latter has to be an IfcDiscreteAccessoryType.

(SIZEOF(IsTypedBy) = 0) OR
('IFC4X3_DEV_738df036.IFCDISCRETEACCESSORYTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType))
Table 6.3.3.3.F

6.3.3.3.5 Property sets

6.3.3.3.6 Concept usage

Concept Usage Description
IfcRoot (2)
IfcObjectDefinition (9)
IfcObject (5)
IfcProduct (18)
IfcElement (44)
IfcElementComponent (3)
Click to show 81 hidden inherited concepts
IfcDiscreteAccessory (2)
Object Typing General

This concept can be applied to the following resources:

Property Sets for Objects General

This concept can be applied to the following resources:

Table 6.3.3.3.G

6.3.3.3.7 Formal representation

ENTITY IfcDiscreteAccessory
SUBTYPE OF (IfcElementComponent);
PredefinedType : OPTIONAL IfcDiscreteAccessoryTypeEnum;
WHERE
CorrectPredefinedType : NOT(EXISTS(PredefinedType)) OR
(PredefinedType <> IfcDiscreteAccessoryTypeEnum.USERDEFINED) OR
((PredefinedType = IfcDiscreteAccessoryTypeEnum.USERDEFINED) AND EXISTS (SELF\IfcObject.ObjectType));
CorrectTypeAssigned : (SIZEOF(IsTypedBy) = 0) OR
('IFC4X3_DEV_738df036.IFCDISCRETEACCESSORYTYPE' IN TYPEOF(SELF\IfcObject.IsTypedBy[1].RelatingType));
END_ENTITY;

6.3.3.3.8 References

Edit on Github


Is this page difficult to understand? Let us know!

6.3.3.3.9 Changelog

6.3.3.3.9.1 IFC4

  • attribute, PredefinedType
  • where rule, CorrectPredefinedType
  • where rule, CorrectTypeAssigned