IFC (IFC4X3) development IfcNonNegativeLengthMeasure Semantic definition

A non-negative length measure is a length measure that is greater than or equal to zero.

Type: IfcLengthMeasure Formal Propositions

NotNegative<html><body><p>A non-negative measure shall be greater than or equal to zero.</p></body></html>
SELF >= 0.
Table Formal representation

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

Edit on Github

Is this page difficult to understand? Let us know!