note
	description: "Summary description for {VERTEX}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

class 
	VERTEX [G -> COMPARABLE]

inherit
	COMPARABLE
		redefine
			is_equal,
			out
		end

create 
	make

convert
	make ({G})

feature {NONE} -- Initialization

	make (g: G)
			-- Initialization for Current.
		do
			item := g
			name := "v:" + g.out
		end
	
feature -- Queries

	name: STRING_8

	item: G

	is_less alias "<" (other: like Current): BOOLEAN
			-- Is current object less than other?
		do
			Result := item < other.item
		end

	out: STRING_8
			-- New string containing terse printable representation
			-- of current object
		do
			Result := name
		end

	is_equal (other: like Current): BOOLEAN
			-- Is other attached to an object of the same type
			-- as current object and identical to it?
		do
			Result := item ~ other.item
		end
	
end -- class VERTEX

Generated by ISE EiffelStudio