Array.rotatecolumns()

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

Array.rotatecolumns(NumberOfIterations)

This function rotates columns in an array with mentioned number of iterations.

Examples

1.

a=MAGICSQUARE(3)
a.rotatecolumns(2)

In above example, column values are rotated twice. Output is displayed as:
6 2 7
1 9 5
8 4 3

2.

a=[["red","brown"],["green","pink"],["blue","yellow"]];
a.rotatecolumns(1)

In above example, column values are rotated once. Output is displayed as:
brown red
pink green
yellow blue

See Also

rotaterows