class
	VERTEX_DISTANCE_PAIR [G -> attached ANY]

General
	cluster: mathmodels
	description: "Summary description for {VERTEX_DISTANCE_PAIR}."
	create: make

Ancestors
	COMPARABLE*

Queries
	distance: INTEGER_64
	is_equal (other: [like Current] VERTEX_DISTANCE_PAIR [G]): BOOLEAN
	is_greater alias ">" (other: [like Current] VERTEX_DISTANCE_PAIR [G]): BOOLEAN
	is_greater_equal alias ">=" (other: [like Current] VERTEX_DISTANCE_PAIR [G]): BOOLEAN
	is_less alias "<" (other: [like Current] VERTEX_DISTANCE_PAIR [G]): BOOLEAN
	is_less_equal alias "<=" (other: [like Current] VERTEX_DISTANCE_PAIR [G]): BOOLEAN
	max (other: [like Current] VERTEX_DISTANCE_PAIR [G]): [like Current] VERTEX_DISTANCE_PAIR [G]
	min (other: [like Current] VERTEX_DISTANCE_PAIR [G]): [like Current] VERTEX_DISTANCE_PAIR [G]
	three_way_comparison (other: [like Current] VERTEX_DISTANCE_PAIR [G]): INTEGER_32
	vertex: G

Commands
	make (t: TUPLE [G, INTEGER_64])
	set_distance (d: INTEGER_64)

Generated by ISE EiffelStudio