IfcDaylightSavingHour

Definition from IAI: The positive integer value by which clock time is offset from solar time at the particular location.

Type: INTEGER

> HISTORY New type in IFC Release 1.5.1 with changes made in IFC Release 2x.

EXPRESS specification:

TYPE IfcDaylightSavingHour = INTEGER;
WHERE
WR1 | : | { 0 <= SELF <= 2 };
END_TYPE;

Formal Propositions:

WR1 | : | Daylight saving number is always positive and can take the maximum value of 2 (hours) ahead of local time. Depending on the locality and the time of year, the value may be 0, 1 or 2.