IfcNonNegativeLengthMeasure

Natural language names
Non Negative Length Measure
Mesure de longueur positive ou nulle
Change log
ItemSPFXMLChangeDescription
IFC2x3 to IFC4 4.0.0.0
    IfcNonNegativeLengthMeasureADDED
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
RuleDescription
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"/>
 </xs:simpleType>
EXPRESS Specification
TYPE IfcNonNegativeLengthMeasure = IfcLengthMeasure;
 WHERE
  NotNegative : SELF >= 0.
END_TYPE;

Link to EXPRESS-G diagram EXPRESS-G diagram

References  References: IfcDoorLiningProperties IfcWindowLiningProperties IfcAlignmentCantSegment IfcAlignmentHorizontalSegment IfcAlignmentVerticalSegment IfcSweptDiskSolidPolygonal IfcVoxelGrid IfcMaterialLayer IfcMeasureValue IfcAsymmetricIShapeProfileDef IfcCShapeProfileDef IfcIShapeProfileDef IfcLShapeProfileDef IfcOpenCrossProfileDef IfcRectangleHollowProfileDef IfcTShapeProfileDef IfcUShapeProfileDef IfcZShapeProfileDef

Link to this page  Link to this page