IFC 4.4.0.0 build 20261005 (IFC4X4_DEV_20260525) ⚠ buildingSMART Working Draft. All content is 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.

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 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

3 contributor(s):
Last change: Improve definition split (#876) * bring back headers headers were previously removed by mistake, now bringing them back * add new lines and rename the tag add the word 'short' in it * unify newlines make exactly one newline before and two after the tag * resolving typos Because bringing back headers required to go back in time to previous version, I'm now re-resolving the issues: #861, #860, #856 by ArturTomczak on 2024-07-16T16:07:28+02:00

Is this page difficult to understand? Let us know!