IFC 4.3.0.0 (IFC4X3) final

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}
Table 8.11.2.64.A

8.11.2.64.3 Formal representation

TYPE IfcNormalisedRatioMeasure = IfcRatioMeasure;
 WHERE
	 WR1 : {0.0 <= SELF <= 1.0};
END_TYPE;

8.11.2.64.4 References