deferred class interface DS_SORTER[G]

feature(s) from DS_SORTER
   --  Status report

   sorted (a_container: DS_SORTABLE[G]): BOOLEAN
      --  Is a_container sorted in increasing order?

      require
         a_container_not_void: a_container /= Void

   reverse_sorted (a_container: DS_SORTABLE[G]): BOOLEAN
      --  Is a_container sorted in decreasing order?

      require
         a_container_not_void: a_container /= Void

feature(s) from DS_SORTER
   --  Sort

   sort (a_container: DS_SORTABLE[G])
      --  Sort a_container in increasing order.

      require
         a_container_not_void: a_container /= Void
      ensure
         sorted: sorted(a_container)

   reverse_sort (a_container: DS_SORTABLE[G])
      --  Sort a_container in decreasing order.

      require
         a_container_not_void: a_container /= Void
      ensure
         sorted: reverse_sorted(a_container)


end of deferred DS_SORTER[G]