8.11.2.64 IfcNormalisedRatioMeasure
8.11.2.64.1 Semantic definition
IfcNormalisedRatioMeasure is a dimensionless measure to express ratio values ranging from 0.0 to 1.0.
Type: REAL
8.11.2.64.2 Formal Propositions
WR1 | <html><body><p>Normalized ratio shall be a non-negative value less than or equal to 1.0</p></body></html>{0.0 <= SELF <= 1.0} |
8.11.2.64.3 Formal representation
TYPE IfcNormalisedRatioMeasure = IfcRatioMeasure;
WHERE
WR1 : {0.0 <= SELF <= 1.0};
END_TYPE;