class TIME_UTILITY General cluster: time description: "Functions useful in time calculations" Ancestors ANY Queries Date_time_tools: DATE_TIME_TOOLS default_format_string: STRING_8 div (i, j: INTEGER_32): INTEGER_32 mod (i, j: INTEGER_32): INTEGER_32
Generated by ISE EiffelStudio