Array.forward()
Revision as of 21:25, 19 May 2020 by Swapna (talk | contribs) (Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
Array.forward(Function,StartValue)
Returns the forward value of the given array.The first array element becomes the first, and the last array element becomes the last. forward() will not change the original array value.
(1..10).forward()
1 2 3 4 5 6 7 8 9 10
a=|3,2,1..10|;
a.forward();
a;
| 1 | 2 |
| 3 | 4 |
| 5 | 6 |