Array.flipparts()

• << Z3 Home
• Z3 Language Documentation
• 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()

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

Transpose