8.11.2.72 IfcPositivePlaneAngleMeasure
8.11.2.72.1 Semantic definition
An IfcPositivePlaneAngleMeasure is a plane angle measure that is greater than zero.
Type: IfcPlaneAngleMeasure
8.11.2.72.2 Formal Propositions
| WR1 | <html><body><p>A positive measure shall be greater than zero.</p></body></html>SELF > 0. |
8.11.2.72.3 Formal representation
TYPE IfcPositivePlaneAngleMeasure = IfcPlaneAngleMeasure;
WHERE
WR1 : SELF > 0.;
END_TYPE;