IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

8.11.2.34 IfcIntegerCountRateMeasure(整数计数率度量)

8.11.2.34.1 语义定义(Semantic definition)

IfcIntegerCountRateMeasure 是单位时间内流动的整数单位数量的度量。

类型:INTEGER

8.11.2.34.2 形式化表示(Formal representation)

TYPE IfcIntegerCountRateMeasure = INTEGER;
END_TYPE;

8.11.2.34.3 参考文献