IfcHourInDay

Definition from ISO/CD 10303-41:1992: The hour element of a specified time on a 24 hour clock.

Type: INTEGER

> NOTE Corresponding STEP name: hour_in_day, please refer to ISO/IS 10303-41:1994 for the final definition of the formal standard.

> HISTORY New type in IFC Release 1.5.1.

EXPRESS specification:

TYPE IfcHourInDay = INTEGER;
WHERE
WR1 | : | { 0 <= SELF < 24 };
END_TYPE;

Formal Propositions:

WR1 | : | The value of the integer shall be between 0 and 23.