Automatic generation produced by ISE Eiffel

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

General
	cluster: time
	description: "Absolute temporal values"

Ancestors
	COMPARABLE*

Queries
	duration: DURATION
	is_equal (other: [like Current] ABSOLUTE): BOOLEAN
	is_greater alias ">" (other: [like Current] ABSOLUTE): BOOLEAN
	is_greater_equal alias ">=" alias "≥" (other: [like Current] ABSOLUTE): BOOLEAN
	is_less alias "<" (other: [like Current] ABSOLUTE): BOOLEAN
	is_less_equal alias "<=" alias "≤" (other: [like Current] ABSOLUTE): BOOLEAN
	max alias "∨" (other: [like Current] ABSOLUTE): [like Current] ABSOLUTE
	min alias "∧" (other: [like Current] ABSOLUTE): [like Current] ABSOLUTE
	minus alias "-" (other: [like Current] ABSOLUTE): INTERVAL [[like Current] ABSOLUTE]
	origin: [like Current] ABSOLUTE
	relative_duration (other: [like Current] ABSOLUTE): DURATION
	three_way_comparison alias "⋚" (other: [like Current] ABSOLUTE): INTEGER_32



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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