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