Automatic generation produced by ISE Eiffel

class INTERVAL [G -> ABSOLUTE] General cluster: time description: "Intervals between absolute values" create: make Ancestors PART_COMPARABLE* PART_COMPARABLE* Queries after (v: G): BOOLEAN before (v: G): BOOLEAN duration: DURATION empty: BOOLEAN end_bound: G gather (other: [like Current] INTERVAL [G]): [like Current] INTERVAL [G] has (v: G): BOOLEAN includes (other: [like Current] INTERVAL [G]): BOOLEAN intersection (other: [like Current] INTERVAL [G]): [detachable like Current] detachable INTERVAL [G] intersects (other: [like Current] INTERVAL [G]): BOOLEAN is_equal (other: [like Current] INTERVAL [G]): BOOLEAN is_greater alias ">" (other: [like Current] INTERVAL [G]): BOOLEAN is_greater_equal alias ">=" alias "≥" (other: [like Current] INTERVAL [G]): BOOLEAN is_included_by (other: [like Current] INTERVAL [G]): BOOLEAN is_less alias "<" (other: [like Current] INTERVAL [G]): BOOLEAN is_less_equal alias "<=" alias "≤" (other: [like Current] INTERVAL [G]): BOOLEAN is_met_by (other: [like Current] INTERVAL [G]): BOOLEAN is_overlapped_by (other: [like Current] INTERVAL [G]): BOOLEAN is_strict_included_by (other: [like Current] INTERVAL [G]): BOOLEAN meets (other: [like Current] INTERVAL [G]): BOOLEAN out: STRING_8 overlaps (other: [like Current] INTERVAL [G]): BOOLEAN start_bound: G strict_after (v: G): BOOLEAN strict_before (v: G): BOOLEAN strict_includes (other: [like Current] INTERVAL [G]): BOOLEAN union (other: [like Current] INTERVAL [G]): [like Current] INTERVAL [G] Commands make (s, e: G) set_end_bound (e: G) set_start_bound (s: G) Constraints start bound exists end bound exists start bound before end bound current intersection current union has bounds between bound -- Generated by Eiffel Studio --

For more details: eiffel.org