#### 8.9.2.22 IfcPositiveRatioMeasure

An IfcPositiveRatioMeasure is a ratio measure that is greater than zero.

Type: IfcRatioMeasure

> NOTE Type adapted from positive_ratio_measure defined in ISO 10303-41.

> HISTORY New type in IFC1.5.1.

XSD Specification:

<xs:simpleType name="IfcPositiveRatioMeasure">
<xs:restriction base="ifc:IfcStrippedOptional"/>
</xs:simpleType>
<xs:element name="IfcPositiveRatioMeasure-wrapper" nillable="true">
<xs:complexType>
<xs:simpleContent>
<xs:extension base="ifc:IfcPositiveRatioMeasure">
<xs:attributeGroup ref="ifc:instanceAttributes"/>
</xs:extension>
</xs:simpleContent>
</xs:complexType>
</xs:element>

EXPRESS Specification:

TYPE IfcPositiveRatioMeasure = IfcStrippedOptional;
| WHERE
WR1 | : | SELF > 0. |
END_TYPE;

Formal Propositions:

WR1 | : | A positive measure shall be greater than zero.

Link to this page