IFC 4.3.2.20240128 (IFC4X3_ADD2) under development

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.
Table 8.11.2.72.A

8.11.2.72.3 Formal representation

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

8.11.2.72.4 References

Edit on Github


Is this page difficult to understand? Let us know!