Difference between revisions of "Array.parts()"
Jump to navigation
Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
(No difference)
|
Revision as of 16:10, 4 March 2017
Array.parts(PartSize, WhichPart)
Divides the array into parts of PartSize. The part indexed by WhichPart is given if requested.
1..10.parts(3)
1 | 2 | 3 | |
4 | 5 | 6 | |
7 | 8 | 9 | 10 |
1..10.parts(3,2)
7 |
8 |
9 |
10 |