writer
6,694
edits
Changes
Jump to navigation
Jump to search
Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F..."
*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==Array.reverse(Function,StartValue)==
Returns the reversed value of the given array.The first array element becomes the last, and the last array element becomes the first.But reverse() will change the original array value.
(1..10).reverse()
10 9 8 7 6 5 4 3 2 1
a=|3,2,1..10|;a.reverse();a;
{| class="wikitable"|-
| 5 || 6
|-
| 3 || 4
|-
| 1 || 2
|}
==See Also==
[[Array.backward() |backward]]
[[Array.transpose() |transpose]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==Array.reverse(Function,StartValue)==
Returns the reversed value of the given array.The first array element becomes the last, and the last array element becomes the first.But reverse() will change the original array value.
(1..10).reverse()
10 9 8 7 6 5 4 3 2 1
a=|3,2,1..10|;a.reverse();a;
{| class="wikitable"|-
| 5 || 6
|-
| 3 || 4
|-
| 1 || 2
|}
==See Also==
[[Array.backward() |backward]]
[[Array.transpose() |transpose]]