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