class
	PROXY_COMPARABLE [G]

General
	cluster: ise
	description: 
		"Holder for non-comparable objects used for pseudo-comparison
		with others via the use of a custom comparator."
	create: make

Ancestors
	COMPARABLE*

Queries
	is_equal (other: [like Current] PROXY_COMPARABLE [G]): BOOLEAN
	is_greater alias ">" (other: [like Current] PROXY_COMPARABLE [G]): BOOLEAN
	is_greater_equal alias ">=" alias "≥" (other: [like Current] PROXY_COMPARABLE [G]): BOOLEAN
	is_less alias "<" (other: [like Current] PROXY_COMPARABLE [G]): BOOLEAN
	is_less_equal alias "<=" alias "≤" (other: [like Current] PROXY_COMPARABLE [G]): BOOLEAN
	item: G
	less_than_comparator: PREDICATE [[like item] G, [like item] G]
	max alias "∨" (other: [like Current] PROXY_COMPARABLE [G]): [like Current] PROXY_COMPARABLE [G]
	min alias "∧" (other: [like Current] PROXY_COMPARABLE [G]): [like Current] PROXY_COMPARABLE [G]
	three_way_comparison alias "⋚" (other: [like Current] PROXY_COMPARABLE [G]): INTEGER_32

Commands
	make (a_item: [like item] G; a_less_than_comparator: PREDICATE [[like item] G, [like item] G])

Generated by ISE EiffelStudio