note
	description: "Summary description for {VERTEX_DISTANCE_PAIR}."
	author: "JSO and JW"
	date: "$Date$"
	revision: "$Revision$"

class interface
	VERTEX_DISTANCE_PAIR [G -> attached ANY]

create 
	make

convert
	make ({TUPLE [G, INTEGER_64]})

feature -- Attributes

	vertex: G

	distance: INTEGER_64 assign set_distance
	
feature -- Constructor

	make (t: TUPLE [v: G; d: INTEGER_64])
	
feature -- Commands

	set_distance (d: INTEGER_64)
	
feature -- Comparable

	is_less alias "<" (other: like Current): BOOLEAN
			-- Is current object less than other?
			-- Note. Library class {PRIORITY_QUEUE}.item returns the MAX element.
			-- In order to make it work as a MIN heap, reverse the less than relation.
	
end -- class VERTEX_DISTANCE_PAIR

Generated by ISE EiffelStudio