IfcMinuteInHour

Definition from ISO/CD 10303-41:1992: The minute element of a specified time.

Type: INTEGER

> NOTE Corresponding STEP name: minute_in_hour, 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 IfcMinuteInHour = INTEGER;
WHERE
WR1 | : | {0 <= SELF <= 59 };
END_TYPE;

Formal Propositions:

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