Difference between revisions of "Array.backward()"
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...") |
|||
| (3 intermediate revisions by one other user not shown) | |||
| Line 5: | Line 5: | ||
==Array.backward(Function,StartValue)== | ==Array.backward(Function,StartValue)== | ||
| − | Returns the backward value of the given array. | + | Returns the backward value of the given array.The first array element becomes the last, and the last array element becomes the first.But backward() will not change the original array value. |
(1..10).backward() | (1..10).backward() | ||
| Line 11: | Line 11: | ||
10 9 8 7 6 5 4 3 2 1 | 10 9 8 7 6 5 4 3 2 1 | ||
| + | |||
| + | a=|3,2,1..10|; | ||
| + | </br>a.backward(); | ||
| + | </br>a; | ||
| + | |||
| + | {| class="wikitable"|- | ||
| + | | 1 || 2 | ||
| + | |- | ||
| + | | 3 || 4 | ||
| + | |- | ||
| + | | 5 || 6 | ||
| + | |} | ||
==See Also== | ==See Also== | ||
Latest revision as of 20:26, 19 May 2020
Array.backward(Function,StartValue)
Returns the backward value of the given array.The first array element becomes the last, and the last array element becomes the first.But backward() will not change the original array value.
(1..10).backward()
10 9 8 7 6 5 4 3 2 1
a=|3,2,1..10|;
a.backward();
a;
| 1 | 2 |
| 3 | 4 |
| 5 | 6 |