Sorting algorithms/Heapsort: Difference between revisions
Content added Content deleted
Line 937: | Line 937: | ||
sorted: is_sorted(ar) |
sorted: is_sorted(ar) |
||
end |
end |
||
feature{NONE} |
|||
is_sorted (ar: ARRAY [INTEGER]): BOOLEAN |
is_sorted (ar: ARRAY [INTEGER]): BOOLEAN |