8.11.2.71 IfcPositiveLengthMeasure（正长度度量）

8.11.2.71.1 语义定义

IfcPositiveLengthMeasure 是一种大于零的长度度量。

沿革在 IFC1.5.1 中新增的类型。

名称	描述
WR1	<html><body><p>正度量应大于零。</p></body></html> SELF > 0.

表 8.11.2.71.A

TYPE IfcPositiveLengthMeasure = IfcLengthMeasure;
 WHERE
	 WR1 : SELF > 0.;
END_TYPE;