class
	QUEUE [G -> attached ANY]

General
	cluster: mathmodels
	description: 
		"Not immutable yet. 
		Adapt base ARRAYED_QUEUE[G] to usual queue ADT:
		Queries⥯128/ Tcount: INTEGER
		first: G⥯128/ Thas (g: G): BOOLEAN⥯128/ Tis_empty: BOOLEAN⥯128/ Tlast: G⥯128/ ommands⥯128/ Tdequeue⥯128/ Tenqueue (g: G)
		Attached and object comparison is set.
		Classical contracts only"
	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] QUEUE [G]): BOOLEAN
	item alias "[]" (i: INTEGER_32): G
	last: G
	out: STRING_8

Commands
	dequeue
	enqueue (g: G)

Constraints

Generated by ISE EiffelStudio