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
WR1 | <html><body><p>A positive measure shall be greater than zero.</p></body></html>SELF > 0. |
8.11.2.73.3 Formal representation
TYPE IfcPositiveRatioMeasure = IfcRatioMeasure;
WHERE
WR1 : SELF > 0.;
END_TYPE;