deferred class
	PART_COMPARABLE

General
	cluster: elks
	description: "Objects that may be compared according to a partial order relation"

Ancestors
	ANY

Queries
	is_greater alias ">" (other: [like Current] PART_COMPARABLE): BOOLEAN
	is_greater_equal alias ">=" alias "" (other: [like Current] PART_COMPARABLE): BOOLEAN
	is_less alias "<" (other: [like Current] PART_COMPARABLE): BOOLEAN
	is_less_equal alias "<=" alias "" (other: [like Current] PART_COMPARABLE): BOOLEAN


Generated by ISE EiffelStudio