Array.transpose()

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

Array.transpose(IncludeHeader)

Transpose the array. Include the header if the parameter is true.

Same as Array.t()

MAGICSQUARE(3).t()

2	9	4
7	5	3
6	1	8