IfcCompoundPlaneAngleMeasure
Definition from buildingSMART: A compound measure of plane angle in degrees, minutes, seconds, and optionally millionth-seconds of arc.
NOTE: IfcCompoundPlaneAngleMeasure is used where angles need to be
described to an accuracy as fine as one millionth of a 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. Another usage is exact or approximate global positioning against a geographic coordinate systems using longitude and latitude.
Type: LIST [3:4] OF INTEGER
The first integer measure is the number of degrees in the range {360; -360}The second integer measure is the number of minutes in the range {60; -60}The third integer measure is the number of seconds in the range {60; -60}The optional fourth integer measure is the number of millionth-seconds in the range {1 000 000; -1 000 000}
HISTORY New type in IFC Release 1.5.1.
EXPRESS specification:
|
TYPE IfcCompoundPlaneAngleMeasure = LIST [3:4] OF INTEGER;
|
|
|
WR1
|
:
|
{ -360 <= SELF[1] < 360 };
|
WR2
|
:
|
{ -60 <= SELF[2] < 60 };
|
WR3
|
:
|
{ -60 <= SELF[3] < 60 };
|
WR4
|
:
|
((SELF[1] >= 0) AND (SELF[2] >= 0) AND (SELF[3] >= 0)) OR ((SELF[1] <= 0) AND (SELF[2] <= 0) AND (SELF[3] <= 0));
|
|
|
|
Formal Propositions:
WR1
|
:
|
The first measure (degrees) shall be between -360 and 360 degree.
|
WR2
|
:
|
The second measure (minutes) shall be between -60 and 60.
|
WR3
|
:
|
The third measure (seconds) shall be between -60 and 60.
|
WR4
|
:
|
The measure components shall have the same sign (positive or negative).
|