IfcPositiveLengthMeasure

Natural language names
Positive Length Measure
Mesure de longueur positive
Semantic definitions at the type
Type definition

An IfcPositiveLengthMeasure is a length measure that is greater than zero.

Type: IfcLengthMeasure

NOTE  Type adapted from positive_length_measure defined in ISO 10303-41.
HISTORY  New type in IFC1.5.1.
Formal Propositions
RuleDescription
WR1A positive measure shall be greater than zero.
Formal representations
XML Specification
 <xs:simpleType name="IfcPositiveLengthMeasure">
  <xs:restriction base="ifc:IfcLengthMeasure"/>
 </xs:simpleType>
EXPRESS Specification
TYPE IfcPositiveLengthMeasure = IfcLengthMeasure;
 WHERE
  WR1 : SELF > 0.
END_TYPE;

Link to EXPRESS-G diagram EXPRESS-G diagram

References  References: IfcDoor IfcStairFlight IfcWindow IfcMechanicalFastener IfcMechanicalFastenerType IfcDoorLiningProperties IfcDoorPanelProperties IfcWindowLiningProperties IfcWindowPanelProperties IfcReinforcingBar IfcReinforcingBarType IfcReinforcingMesh IfcReinforcingMeshType IfcTendon IfcTendonType IfcBoundingBox IfcExtrudedAreaSolid IfcSweptDiskSolid IfcCircle IfcMeasureValue

Link to this page  Link to this page