Navigation

IfcHourInDay

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

Type: INTEGER

HISTORY This entity has changes after 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.

References (2):

Name Type Referred through Express-G
IfcCoordinatedUniversalTimeOffset Entity
Attribute 'HourOffset'
Diagram 1
IfcLocalTime Entity
Attribute 'HourComponent'
Diagram 1