该页全部中文内容仅供20252453-T-424 项目组内部使用

20252453-T-424 项目

8.11.2.63 IfcNonNegativeLengthMeasure（非负长度度量）

8.11.2.63.1 语义定义（Semantic definition）

非负长度度量是指大于或等于零的长度度量。

类型：IfcLengthMeasure

8.11.2.63.2 形式化命题（Formal propositions）

NotNegative<html><body><p>非负度量应大于或等于零。</p></body></html>
SELF >= 0.
表 8.11.2.63.A

8.11.2.63.3 形式化表示（Formal representation） 

TYPE IfcNonNegativeLengthMeasure = IfcLengthMeasure;
 WHERE
	 NotNegative : SELF >= 0.;
END_TYPE;

8.11.2.63.4 参考（References）