8.11.2.73 IfcPositiveRatioMeasure
8.11.2.73.1 Semantic definition
An IfcPositiveRatioMeasure is a ratio measure that is greater than zero.
Type: IfcRatioMeasure
8.11.2.73.2 Formal Propositions
8.11.2.73.3 Formal representation
TYPE IfcPositiveRatioMeasure = IfcRatioMeasure;
WHERE
WR1 : SELF > 0.;
END_TYPE;