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...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 5: | Line 5: | ||
==Array.flipparts()== | ==Array.flipparts()== | ||
Switch first and second half of an array. | Switch first and second half of an array. | ||
| + | |||
[[3,2,1],[9,8,7],[11,12,13]].flipparts() | [[3,2,1],[9,8,7],[11,12,13]].flipparts() | ||
{| class="wikitable" | {| class="wikitable" | ||
| Line 30: | Line 31: | ||
==See Also== | ==See Also== | ||
[[Array.flip() |Flip]] | [[Array.flip() |Flip]] | ||
| − | [[Array. | + | |
| + | [[Array.transpose() |Transpose]] | ||
Latest revision as of 04:10, 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 |