8.11.2.64 IfcNormalisedRatioMeasure(归一化比率度量)
8.11.2.64.1 语义定义(Semantic definition)
IfcNormalisedRatioMeasure 是一种无量纲度量,用于表示从 0.0 到 1.0 的比率值。
类型:REAL
8.11.2.64.2 形式化命题(Formal propositions)
8.11.2.64.3 形式化表示(Formal representation)
TYPE IfcNormalisedRatioMeasure = IfcRatioMeasure;
WHERE
WR1 : {0.0 <= SELF <= 1.0};
END_TYPE;