Array.rotaterows()

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

Array.rotaterows(NumberOfSteps)

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

Examples

1.

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

Output is displayed as:
4 3 8
2 7 6
9 5 1

2.

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

Output is displayed as:
green pink
blue yellow
red brown

See Also

rotatecolumns