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