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. |
8.11.2.63.3 Formal representation
TYPE IfcNonNegativeLengthMeasure = IfcLengthMeasure;
WHERE
NotNegative : SELF >= 0.;
END_TYPE;
8.11.2.63.4 References
- IfcAlignmentCantSegment
- IfcAlignmentHorizontalSegment
- IfcAlignmentVerticalSegment
- IfcAsymmetricIShapeProfileDef
- IfcCShapeProfileDef
- IfcDoorLiningProperties
- IfcIShapeProfileDef
- IfcLShapeProfileDef
- IfcMaterialLayer
- IfcMeasureValue
- IfcOpenCrossProfileDef
- IfcRectangleHollowProfileDef
- IfcSweptDiskSolidPolygonal
- IfcTShapeProfileDef
- IfcUShapeProfileDef
- IfcWindowLiningProperties
- IfcZShapeProfileDef