8.11.2.63 IfcNonNegativeLengthMeasure(非负长度度量)
8.11.2.63.1 语义定义(Semantic definition)
非负长度度量是指大于或等于零的长度度量。
8.11.2.63.2 形式化命题(Formal propositions)
8.11.2.63.3 形式化表示(Formal representation)
TYPE IfcNonNegativeLengthMeasure = IfcLengthMeasure;
WHERE
NotNegative : SELF >= 0.;
END_TYPE;
8.11.2.63.4 参考文献
- IfcAlignmentCantSegment
- IfcAlignmentHorizontalSegment
- IfcAlignmentVerticalSegment
- IfcAsymmetricIShapeProfileDef
- IfcCShapeProfileDef
- IfcDoorLiningProperties
- IfcIShapeProfileDef
- IfcLShapeProfileDef
- IfcMaterialLayer
- IfcMeasureValue
- IfcOpenCrossProfileDef
- IfcRectangleHollowProfileDef
- IfcSweptDiskSolidPolygonal
- IfcTShapeProfileDef
- IfcUShapeProfileDef
- IfcWindowLiningProperties
- IfcZShapeProfileDef