IFC 4.3.x development

8.11.2.73 IfcPositiveRatioMeasure

8.11.2.73.1 Semantic definitions at the entity

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.

Formal Propositions

WR1

A positive measure shall be greater than zero.

8.11.2.73.1 Formal representations

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