IFC 4.3.0.0 (IFC4X3) final

8.11.2.63 IfcNonNegativeLengthMeasure

8.11.2.63.1 Semantic definition

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

Type: IfcLengthMeasure

8.11.2.63.2 Formal Propositions

NotNegative<html><body><p>A non-negative measure shall be greater than or equal to zero.</p></body></html>
SELF >= 0.
Table 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