note
	description: "Objects that may be compared according to a partial order relation"
	remark: "[
		The basic operation is < (less than); others
		are defined in terms of this operation and is_equal.
	]"
	library: "Gobo Eiffel Kernel Library"
	copyright: "Copyright (c) 2000, Eric Bezault and others"
	license: "MIT License"
	date: "$Date: 2016-05-06 19:15:38 +0000 (Fri, 06 May 2016) $"
	revision: "$Revision: 98678 $"

deferred class interface
	KL_PART_COMPARABLE

feature -- Comparison

	is_less alias "<" (other: like Current): BOOLEAN
			-- Is current object less than other?
		require
			other_not_void: other /= Void

	is_less_equal alias "<=" (other: like Current): BOOLEAN
			-- Is current object less than or equal to other?
		require
			other_not_void: other /= Void
		ensure
			definition: Result = ((Current < other) or is_equal (other))

	is_greater alias ">" (other: like Current): BOOLEAN
			-- Is current object greater than other?
		require
			other_not_void: other /= Void
		ensure
			definition: Result = (other < Current)

	is_greater_equal alias ">=" (other: like Current): BOOLEAN
			-- Is current object greater than or equal to other?
		require
			other_not_void: other /= Void
		ensure
			definition: Result = ((other < Current) or is_equal (other))
	
end -- class KL_PART_COMPARABLE

Generated by ISE EiffelStudio