Difference between revisions of "Array.flipparts()"
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...") |
|||
| Line 30: | Line 30: | ||
==See Also== | ==See Also== | ||
[[Array.flip() |Flip]] | [[Array.flip() |Flip]] | ||
| − | [[Array.flipparts() | | + | [[Array.flipparts() |Flipparts]] |
Revision as of 05:09, 17 April 2020
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 |