Class DS_SORTER | ![]() ![]() |
indexing
description: "Data structure sorters" library: "Gobo Eiffel Structure Library" author: "Eric Bezault <ericb@gobosoft.com>" copyright: "Copyright (c) 1999, Eric Bezault and others" license: "Eiffel Forum Freeware License v1 (see forum.txt)"
deferred class interface
DS_SORTER [G]
feature -- Status report
sorted (a_container: DS_SORTABLE [G]): BOOLEAN -- Is a_container sorted? require a_container_not_void: a_container /= Void deferred
feature -- Sort
sort (a_container: DS_SORTABLE [G]) -- Sort a_container. require a_container_not_void: a_container /= Void deferred ensure sorted: sorted (a_container)
end -- class DS_SORTER
Copyright © 1999, Eric
Bezault mailto:ericb@gobosoft.com http://www.gobosoft.com Last Updated: 8 August 1999 |
![]() ![]() ![]() ![]() |