8.11.2.71 IfcPositiveLengthMeasure（正长度度量）

8.11.2.71.1 语义定义（Semantic definition）

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

WR1	<html><body><p>正度量值应大于零。</p></body></html> SELF > 0.

表 8.11.2.71.A

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