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
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 IfcOpenCrossProfileDef IfcMaterialLayer IfcMeasureValue IfcAsymmetricIShapeProfileDef IfcCShapeProfileDef IfcIShapeProfileDef IfcLShapeProfileDef IfcRectangleHollowProfileDef IfcTShapeProfileDef IfcUShapeProfileDef IfcZShapeProfileDef

Link to this page  Link to this page