class
	VERTEX [G -> COMPARABLE]

General
	cluster: basic_tests
	description: "Summary description for {VERTEX}."
	create: make

Ancestors
	COMPARABLE*

Queries
	is_equal (other: [like Current] VERTEX [G]): BOOLEAN
	is_greater alias ">" (other: [like Current] VERTEX [G]): BOOLEAN
	is_greater_equal alias ">=" (other: [like Current] VERTEX [G]): BOOLEAN
	is_less alias "<" (other: [like Current] VERTEX [G]): BOOLEAN
	is_less_equal alias "<=" (other: [like Current] VERTEX [G]): BOOLEAN
	item: G
	max (other: [like Current] VERTEX [G]): [like Current] VERTEX [G]
	min (other: [like Current] VERTEX [G]): [like Current] VERTEX [G]
	name: STRING_8
	out: STRING_8
	three_way_comparison (other: [like Current] VERTEX [G]): INTEGER_32

Generated by ISE EiffelStudio