8.11.2.73 IfcPositiveRatioMeasure（正比率度量）
8.11.2.73.1 语义定义
IfcPositiveRatioMeasure 是一种大于零的比率度量。
沿革 IFC1.5.1 中的新类型。
8.11.2.73.2 形式化命题
8.11.2.73.3 形式化表示
TYPE IfcPositiveRatioMeasure = IfcRatioMeasure;
WHERE
WR1 : SELF > 0.;
END_TYPE;IFC 4.3.2.20260714 (IFC4X3_ADD2) under development
IfcPositiveRatioMeasure 是一种大于零的比率度量。
沿革 IFC1.5.1 中的新类型。
TYPE IfcPositiveRatioMeasure = IfcRatioMeasure;
WHERE
WR1 : SELF > 0.;
END_TYPE;