IFC 4.3.2.20251031 (IFC4X3_ADD2) under development

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 参考文献

在Github上编辑


这个页面难以理解吗？告诉我们！