Automatic generation produced by ISE Eiffel
class TIME_CONSTANTS General cluster: time description: "Universal constants of time in a day" Ancestors TIME_UTILITY Queries Date_time_tools: DATE_TIME_TOOLS default_format_string: STRING_8 div (i, j: INTEGER_32): INTEGER_32 Hours_in_day: INTEGER_32 Minutes_in_hour: INTEGER_32 mod (i, j: INTEGER_32): INTEGER_32 Seconds_in_day: INTEGER_32 Seconds_in_hour: INTEGER_32 Seconds_in_minute: INTEGER_32 time_default_format_string: STRING_8 -- Generated by Eiffel Studio --
For more details: eiffel.org