Number reversal game: Difference between revisions
Content deleted Content added
Line 800: | Line 800: | ||
require |
require |
||
upper_positive: upper > 0 |
upper_positive: upper > 0 |
||
ar_not_void: numbers /= |
ar_not_void: numbers /= Void |
||
local |
local |
||
i, j: INTEGER |
i, j: INTEGER |
||
Line 826: | Line 826: | ||
ar_not_empty: not ar.is_empty |
ar_not_empty: not ar.is_empty |
||
do |
do |
||
Result := |
Result := True |
||
across |
across |
||
1 |..| (r - 1) as c |
1 |..| (r - 1) as c |
||
loop |
loop |
||
if ar [c.item] > ar [c.item + 1] then |
if ar [c.item] > ar [c.item + 1] then |
||
Result := |
Result := False |
||
end |
end |
||
end |
end |