An IfcPositivePlaneAngleMeasure is a plane angle measure that is greater than zero.

Type: IfcPlaneAngleMeasure

NOTE  Type adapted from positive_plane_angle_measure defined in ISO 10303-41.
HISTORY  New type in IFC1.5.1.

XSD Specification:

 <xs:simpleType name="IfcPositivePlaneAngleMeasure">
  <xs:restriction base="ifc:IfcPlaneAngleMeasure"/>
 <xs:element name="IfcPositivePlaneAngleMeasure-wrapper" nillable="true">
    <xs:extension base="ifc:IfcPositivePlaneAngleMeasure">
     <xs:attributeGroup ref="ifc:instanceAttributes"/>

EXPRESS Specification:

TYPE IfcPositivePlaneAngleMeasure = IfcPlaneAngleMeasure;
WR1 : SELF > 0.

Link to EXPRESS-G diagram EXPRESS-G diagram

Formal Propositions:

WR1 : A positive measure shall be greater than zero.

Link to this page  Link to this page