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...") |
|||
| Line 4: | Line 4: | ||
| − | ==Array.parts(PartSize, | + | ==Array.parts(PartSize, SpecificPartOrFunction) == |
| − | Divides the array into parts of PartSize. The part indexed by | + | Divides the array into parts of PartSize. The part indexed by SpecificPartOrFunction is given if requested. SpecificPartOrFunction, if a function, is applied to each of the parts. |
| Line 30: | Line 30: | ||
| 10 | | 10 | ||
|} | |} | ||
| + | |||
| + | |||
| + | == See Also == | ||
| + | [[Array.chunks()| chunks]] | ||
| + | |||
| + | [[Array.pieces()| pieces]] | ||
Latest revision as of 20:55, 21 March 2024
Array.parts(PartSize, SpecificPartOrFunction)
Divides the array into parts of PartSize. The part indexed by SpecificPartOrFunction is given if requested. SpecificPartOrFunction, if a function, is applied to each of the parts.
1..10.parts(3)
| 1 | 2 | 3 | |
| 4 | 5 | 6 | |
| 7 | 8 | 9 | 10 |
1..10.parts(3,2)
| 7 |
| 8 |
| 9 |
| 10 |