IFC (IFC4X3_TC1) 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 Changelog IFC4

  • New resource