8.11.2.72 IfcPositivePlaneAngleMeasure（正平面角度量）

8.11.2.72.1 语义定义

IfcPositivePlaneAngleMeasure 是一种大于零的平面角度量。

沿革 IFC1.5.1 中的新类型。

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

表 8.11.2.72.A

TYPE IfcPositivePlaneAngleMeasure = IfcPlaneAngleMeasure;
 WHERE
	 WR1 : SELF > 0.;
END_TYPE;