IFC 4.3.x development

8.11.2.63 IfcNonNegativeLengthMeasure

8.11.2.63.1 Semantic definitions at the entity

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

Type: IfcLengthMeasure

HISTORY  New type in IFC4.

Formal Propositions

NotNegative

A non-negative measure shall be greater than or equal to zero.

8.11.2.63.1 Formal representations

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