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