class
	MY_PRIORITY_QUEUE [G -> COMPARABLE]

General
	cluster: mathmodels
	description: "Summary description for {MY_PRIORITY_QUEUE}."
	create: make_empty, make_one, make_from_array

Ancestors
	DEBUG_OUTPUT*

Queries
	count: INTEGER_32
	debug_output: STRING_8
	first: G
	has (g: G): BOOLEAN
	is_empty: BOOLEAN
	is_equal (other: [like Current] MY_PRIORITY_QUEUE [G]): BOOLEAN
	last: G
	out: STRING_8

Commands
	dequeue
	enqueue (g: G)
	prune (g: G)

Generated by ISE EiffelStudio