Natural language names
Non Negative Length Measure
Mesure de longueur positive ou nulle
Change log
Semantic definitions at the type
Type definition

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
NotNegativeA non-negative measure shall be greater than or equal to zero.
Formal representations
XML Specification
 <xs:simpleType name="IfcNonNegativeLengthMeasure">
  <xs:restriction base="ifc:IfcLengthMeasure"/>
EXPRESS Specification
TYPE IfcNonNegativeLengthMeasure = IfcLengthMeasure;
  NotNegative : SELF >= 0.

Link to EXPRESS-G diagram EXPRESS-G diagram

References  References: IfcDoorLiningProperties IfcWindowLiningProperties IfcMeasureValue

Link to this page  Link to this page