Automatic generation produced by ISE Eiffel

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

General
	cluster: time
	description: "Temporal intervals"

Ancestors
	GROUP_ELEMENT*
	PART_COMPARABLE*

Queries
	identity alias "+": [like Current] DURATION
	is_greater alias ">" (other: [like Current] DURATION): BOOLEAN
	is_greater_equal alias ">=" alias "≥" (other: [like Current] DURATION): BOOLEAN
	is_less alias "<" (other: [like Current] DURATION): BOOLEAN
	is_less_equal alias "<=" alias "≤" (other: [like Current] DURATION): BOOLEAN
	is_negative: BOOLEAN
	is_positive: BOOLEAN
	is_zero: BOOLEAN
	minus alias "-" (other: [like Current] DURATION): [like Current] DURATION
	opposite alias "-": [like Current] DURATION
	plus alias "+" (other: [like Current] DURATION): [like Current] DURATION
	zero: [like Current] DURATION

Constraints
	sign correctness



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

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