8.17.3.5 IfcQuantityCount
8.17.3.5.1 Semantic definition
IfcQuantityCount is a physical quantity that defines a derived count measure to provide an element's physical property. It is normally derived from the physical properties of the element under the specific measure rules given by a method of measurement.
8.17.3.5.2 Entity inheritance
8.17.3.5.3 Attributes
# | Attribute | Type | Description |
---|---|---|---|
IfcPhysicalQuantity (4) | |||
IfcPhysicalSimpleQuantity (1) | |||
Click to show 5 hidden inherited attributes Click to hide 5 inherited attributes | |||
IfcQuantityCount (2) | |||
4 | CountValue | IfcCountMeasure |
Count measure value of this quantity. |
5 | Formula | OPTIONAL IfcLabel |
A formula by which the quantity has been calculated. It can be assigned in addition to the actual value of the quantity. Formulas could be mathematic calculations (like width x height), database links, or a combination. The formula is for informational purposes only. |
8.17.3.5.4 Formal propositions
Name | Description |
---|---|
WR21 |
The value of the count shall be greater than or equal to zero. |
|
8.17.3.5.5 Formal representation
ENTITY IfcQuantityCount SUBTYPE OF (IfcPhysicalSimpleQuantity); CountValue : IfcCountMeasure; Formula : OPTIONAL IfcLabel; WHERE WR21 : CountValue >= 0; END_ENTITY;