Sorting algorithms/Heapsort: Difference between revisions

Content added Content deleted
Line 937:
sorted: is_sorted(ar)
end
 
feature{NONE}
 
is_sorted (ar: ARRAY [INTEGER]): BOOLEAN