writer
6,694
edits
Changes
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..."
*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==Array.flipparts()==
Switch first and second half of an array.
[[3,2,1],[9,8,7],[11,12,13]].flipparts()
{| class="wikitable"
|-
|9 || 8 || 7
|-
|11 || 12 || 13
|-
|3 || 2 || 1
|}
MS(4).flipparts()
{| class="wikitable"
|-
| 8 || 10 || 11 || 5
|-
|13 || 3 || 2 || 16
|-
|1 || 15 || 14 || 4
|-
|12 || 6 || 7 ||9
|}
==See Also==
[[Array.flip() |Flip]]
[[Array.flipparts() |flipparts]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==Array.flipparts()==
Switch first and second half of an array.
[[3,2,1],[9,8,7],[11,12,13]].flipparts()
{| class="wikitable"
|-
|9 || 8 || 7
|-
|11 || 12 || 13
|-
|3 || 2 || 1
|}
MS(4).flipparts()
{| class="wikitable"
|-
| 8 || 10 || 11 || 5
|-
|13 || 3 || 2 || 16
|-
|1 || 15 || 14 || 4
|-
|12 || 6 || 7 ||9
|}
==See Also==
[[Array.flip() |Flip]]
[[Array.flipparts() |flipparts]]