Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	QUICK_SORTER [G]

General
	cluster: base_extension
	description: "Indexable data structure sorters using quick sort algorithm"
	create: make

Ancestors
	SORTER* [G]

Queries
	comparator: PART_COMPARATOR [G]
	is_sortable_container (a_container: INDEXABLE [G, INTEGER_32]): BOOLEAN
	reverse_sorted (a_container: INDEXABLE [G, INTEGER_32]): BOOLEAN
	reverse_subsorted (a_container: INDEXABLE [G, INTEGER_32]; lower, upper: INTEGER_32): BOOLEAN
	sorted (a_container: INDEXABLE [G, INTEGER_32]): BOOLEAN
	sorted_with_comparator (a_container: INDEXABLE [G, INTEGER_32]; a_comparator: PART_COMPARATOR [G]): BOOLEAN
	subsorted (a_container: INDEXABLE [G, INTEGER_32]; lower, upper: INTEGER_32): BOOLEAN
	subsorted_with_comparator (a_container: INDEXABLE [G, INTEGER_32]; a_comparator: PART_COMPARATOR [G]; lower, upper: INTEGER_32): BOOLEAN

Commands
	reverse_sort (a_container: INDEXABLE [G, INTEGER_32])
	reverse_subsort (a_container: INDEXABLE [G, INTEGER_32]; lower, upper: INTEGER_32)
	sort (a_container: INDEXABLE [G, INTEGER_32])
	sort_with_comparator (a_container: INDEXABLE [G, INTEGER_32]; a_comparator: PART_COMPARATOR [G])
	subsort (a_container: INDEXABLE [G, INTEGER_32]; lower, upper: INTEGER_32)
	subsort_with_comparator (a_container: INDEXABLE [G, INTEGER_32]; a_comparator: PART_COMPARATOR [G]; lower, upper: INTEGER_32)



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org