Number reversal game: Difference between revisions

Content added Content deleted
Line 800: Line 800:
require
require
upper_positive: upper > 0
upper_positive: upper > 0
ar_not_void: numbers /= void
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 := TRUE
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 := FALSE
Result := False
end
end
end
end
Retrieved from "https://rosettacode.org/wiki/Number_reversal_game"