Changes

Array.rotaterows() (view source)

222 bytes added , 07:12, 30 April 2020

no edit summary

Line 1: Line 1: +

*[[ Z3 | << Z3 Home ]]

+

*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]

+

*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]

+

==Array.rotaterows(NumberOfSteps)

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

writer

6,694

edits