IfcCompoundPlaneAngleMeasure
Definition from IAI: A compound measure of plane angle in degrees minutes and seconds of arc.
NOTE: IfcCompoundPlaneAngleMeasure is used where angles need to be
described to an accuracy of less than one degree and expressed as parts of an arc. It may be
used for angular measurement by surveyors or for other angular measurements where precision is
required. It should not be used for angular measurements which may be expressed in decimal
fractions of a degree; for which purpose the IfcPlaneAngleMeasure is provided.
Type: LIST [3:3] OF INTEGER
EXPRESS specification:
|
|
| TYPE IfcCompoundPlaneAngleMeasure = LIST [3:3] OF INTEGER;
|
|
|
|
|
| WR1
|
:
|
{ 0 <= SELF[1] < 360 };
|
| WR2
|
:
|
{ 0 <= SELF[2] < 60 };
|
| WR3
|
:
|
{ 0 <= SELF[3] < 60 };
|
|
|
|
Formal Propositions:
| WR1
|
:
|
The first measure (grad) shall be between 0 and 360 degree.
|
| WR2
|
:
|
The first measure (minutes) shall be between 0 and 60.
|
| WR3
|
:
|
The first measure (seconds) shall be between 0 and 60.
|
References (1):