Array.flipparts()
Revision as of 04:09, 17 April 2020 by Devika (talk | contribs) (Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
Array.flipparts()
Switch first and second half of an array. [[3,2,1],[9,8,7],[11,12,13]].flipparts()
9 | 8 | 7 |
11 | 12 | 13 |
3 | 2 | 1 |
MS(4).flipparts()
8 | 10 | 11 | 5 |
13 | 3 | 2 | 16 |
1 | 15 | 14 | 4 |
12 | 6 | 7 | 9 |