Array.flip()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

Array.flip()

Same as Transpose

Returns the Transpose/flip the given matrix.

[[1,8,3],[7,4,5],[9,13,45]].flip()

1	7	9
8	4	13
3	5	45

MS(4).flip()

1	12	8	13
15	6	10	3
14	7	11	2
4	9	5	16

See Also

Transpose

Flipparts