Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
deferred class COMPARABLE General cluster: elks description: "Objects that may be compared according to a total order relation Note: The basic operation is < (less than); others are defined in terms of this operation and `is_equal`." Ancestors PART_COMPARABLE* Queries is_equal (other: [like Current] COMPARABLE): BOOLEAN is_greater alias ">" (other: [like Current] COMPARABLE): BOOLEAN is_greater_equal alias ">=" alias "" (other: [like Current] COMPARABLE): BOOLEAN is_less alias "<" (other: [like Current] COMPARABLE): BOOLEAN is_less_equal alias "<=" alias "" (other: [like Current] COMPARABLE): BOOLEAN max alias "" (other: [like Current] COMPARABLE): [like Current] COMPARABLE min alias "" (other: [like Current] COMPARABLE): [like Current] COMPARABLE three_way_comparison alias "" (other: [like Current] COMPARABLE): INTEGER_32 Constraints irreflexive comparison
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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