Navigation

IfcPositivePlaneAngleMeasure

A positive pla

Definition from ISO/CD 10303-41:1992: Positive plane angle measure is a plane angle measure that is greater than zero.

Type: IfcPlaneAngleMeasure

EXPRESS specification:

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

Formal Propositions:

WR1  :  A positive measure shall be greater than zero.

References (1):

Name Type Referred through Express-G
IfcMeasureValue Select
Select relation
Diagram 2