#### 8.9.2.21 IfcPositivePlaneAngleMeasure

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:simpleType>
<xs:element name="IfcPositivePlaneAngleMeasure-wrapper" nillable="true">
<xs:complexType>
<xs:simpleContent>
<xs:extension base="ifc:IfcPositivePlaneAngleMeasure">
<xs:attributeGroup ref="ifc:instanceAttributes"/>
</xs:extension>
</xs:simpleContent>
</xs:complexType>
</xs:element>

EXPRESS Specification:

TYPE IfcPositivePlaneAngleMeasure = IfcPlaneAngleMeasure;
| WHERE
WR1 | : | SELF > 0. |
END_TYPE;

Formal Propositions:

WR1 | : | A positive measure shall be greater than zero.

Link to this page