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: IfcAlignmentCant IfcDoor IfcStairFlight IfcWindow IfcMechanicalFastener IfcMechanicalFastenerType IfcDoorLiningProperties IfcDoorPanelProperties IfcPermeableCoveringProperties IfcWindowLiningProperties IfcWindowPanelProperties IfcStructuralSurfaceMember IfcReinforcingBar IfcReinforcingBarType IfcReinforcingMesh IfcReinforcingMeshType IfcTendon IfcTendonType IfcAlignmentHorizontalSegment IfcBlock IfcBoundingBox IfcExtrudedAreaSolid IfcRectangularPyramid IfcRightCircularCone IfcRightCircularCylinder IfcSphere IfcSweptDiskSolid IfcCircle IfcCylindricalSurface IfcEllipse IfcSphericalSurface IfcToroidalSurface IfcMaterialLayerSetUsage IfcMaterialProfileSetUsage IfcMeasureValue IfcCurveStyleFontPattern IfcHatchLineDistanceSelect IfcSizeSelect IfcLightSourcePositional IfcAsymmetricIShapeProfileDef IfcCenterLineProfileDef IfcCircleHollowProfileDef IfcCircleProfileDef IfcCShapeProfileDef IfcEllipseProfileDef IfcIShapeProfileDef IfcLShapeProfileDef IfcRectangleHollowProfileDef IfcRectangleProfileDef IfcReinforcementBarProperties IfcRoundedRectangleProfileDef IfcTrapeziumProfileDef IfcTShapeProfileDef IfcUShapeProfileDef IfcZShapeProfileDef

Link to this page  Link to this page