IfcNonNegativeLengthMeasure

BACnet MVD

#### IfcNonNegativeLengthMeasure

Natural language names

| Non Negative Length Measure
| Mesure de longueur positive ou nulle

Change log

Item | SPF | XML | Change | Description
--- | --- | --- | --- | ---
IFC2x3 to IFC4
IfcNonNegativeLengthMeasure |  |  | ADDED |

##### 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

Rule | Description
--- | ---
NotNegative | A non-negative measure shall be greater than or equal to zero.

##### Formal representations

XML Specification
`<xs:simpleType name="IfcNonNegativeLengthMeasure">
<xs:restriction base="ifc:IfcLengthMeasure"/>
</xs:simpleType>
`
EXPRESS Specification
`TYPE IfcNonNegativeLengthMeasure = IfcLengthMeasure;
WHERE
NotNegative : SELF >= 0.
END_TYPE;

EXPRESS-G diagram

`

References: IfcDoorLiningProperties IfcWindowLiningProperties IfcMaterialLayer IfcMeasureValue IfcAsymmetricIShapeProfileDef IfcCShapeProfileDef IfcIShapeProfileDef IfcLShapeProfileDef IfcRectangleHollowProfileDef IfcTShapeProfileDef IfcUShapeProfileDef IfcZShapeProfileDef

Link to this page