Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	TIME_DURATION

General
	cluster: time
	description: "Durations of time"
	create: make, make_fine, make_by_seconds, make_by_fine_seconds

Ancestors
	DOUBLE_MATH
	DURATION*
	TIME_MEASUREMENT*

Queries
	arc_cosine (v: REAL_64): REAL_64
	arc_sine (v: REAL_64): REAL_64
	arc_tangent (v: REAL_64): REAL_64
	canonical: BOOLEAN
	ceiling (v: REAL_64): REAL_64
	cosine (v: REAL_64): REAL_64
	dabs (v: REAL_64): REAL_64
	Date_time_tools: DATE_TIME_TOOLS
	default_format_string: STRING_8
	div (i, j: INTEGER_32): INTEGER_32
	Euler: REAL_64
	exp (x: REAL_64): REAL_64
	fine_second: REAL_64
	fine_seconds_count: REAL_64
	floor (v: REAL_64): REAL_64
	fractional_second: REAL_64
	hour: INTEGER_32
	Hours_in_day: INTEGER_32
	identity alias "+": [like Current] TIME_DURATION
	is_equal (other: [like Current] TIME_DURATION): BOOLEAN
	is_greater alias ">" (other: [like Current] TIME_DURATION): BOOLEAN
	is_greater_equal alias ">=" alias "≥" (other: [like Current] TIME_DURATION): BOOLEAN
	is_less alias "<" (other: [like Current] TIME_DURATION): BOOLEAN
	is_less_equal alias "<=" alias "≤" (other: [like Current] TIME_DURATION): BOOLEAN
	is_negative: BOOLEAN
	is_positive: BOOLEAN
	is_zero: BOOLEAN
	log (v: REAL_64): REAL_64
	log10 (v: REAL_64): REAL_64
	log_2 (v: REAL_64): REAL_64
	minus alias "-" (other: [like Current] TIME_DURATION): [like Current] TIME_DURATION
	minute: INTEGER_32
	Minutes_in_hour: INTEGER_32
	mod (i, j: INTEGER_32): INTEGER_32
	opposite alias "-": [like Current] TIME_DURATION
	Pi: REAL_64
	Pi_2: REAL_64
	Pi_4: REAL_64
	plus alias "+" (other: [like Current] TIME_DURATION): [like Current] TIME_DURATION
	second: INTEGER_32
	seconds_count: INTEGER_32
	Seconds_in_day: INTEGER_32
	Seconds_in_hour: INTEGER_32
	Seconds_in_minute: INTEGER_32
	sine (v: REAL_64): REAL_64
	sqrt (v: REAL_64): REAL_64
	Sqrt2: REAL_64
	tangent (v: REAL_64): REAL_64
	time_default_format_string: STRING_8
	time_modulo_day: [like Current] TIME_DURATION
	to_canonical: [like Current] TIME_DURATION
	to_days: INTEGER_32
	zero: [like Current] TIME_DURATION

Commands
	fine_second_add (s: REAL_64)
	hour_add (h: INTEGER_32)
	make (h, m, s: INTEGER_32)
	make_by_fine_seconds (s: REAL_64)
	make_by_seconds (s: INTEGER_32)
	make_fine (h, m: INTEGER_32; s: REAL_64)
	minute_add (m: INTEGER_32)
	second_add (s: INTEGER_32)
	set_fine_second (s: REAL_64)
	set_fractionals (f: REAL_64)
	set_hour (h: INTEGER_32)
	set_minute (m: INTEGER_32)
	set_second (s: INTEGER_32)

Constraints
	fractionals large enough
	fractionals small enough
	fractional and second same sign
	equal signs



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org