class
	UTIL_PRIORITY_QUEUE [G -> COMPARABLE]

General
	cluster: mathmodels
	description: 
		"Not immutable yet.
		Implemented with SORTED_TWO_WAY_LIST"
	create: make_empty, make_one, make_from_array

Ancestors
	DEBUG_OUTPUT*

Queries
	count: INTEGER_32
	debug_output: STRING_8
	has (g: G): BOOLEAN
	is_empty: BOOLEAN
	is_equal (other: [like Current] UTIL_PRIORITY_QUEUE [G]): BOOLEAN
	maximum: G
	minimum: G
	out: STRING_8

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

Generated by ISE EiffelStudio