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 ">=" (other: [like Current] DURATION): BOOLEAN
	is_less alias "<" (other: [like Current] DURATION): BOOLEAN
	is_less_equal 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

Generated by ISE EiffelStudio