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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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

See Also

Flip flipparts