Difference between revisions of "Array.pieces()"
Jump to navigation
Jump to search
(Created page with "==Array.pieces(PieceSize, GivenFunction) == Split the array into pieces of PieceSize (starting at each element!), and apply the GivenFunction to each piece. 1..5.pieces(3) ...") |
|||
| (2 intermediate revisions by the same user not shown) | |||
| 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.pieces(PieceSize, GivenFunction) == | ==Array.pieces(PieceSize, GivenFunction) == | ||
| Line 65: | Line 69: | ||
| 5 | | 5 | ||
|} | |} | ||
| + | |||
| + | == See Also == | ||
| + | [[Array.chunks()| chunks]] | ||
| + | |||
| + | [[Array.parts()| parts]] | ||
Latest revision as of 20:52, 21 March 2024
Array.pieces(PieceSize, GivenFunction)
Split the array into pieces of PieceSize (starting at each element!), and apply the GivenFunction to each piece.
1..5.pieces(3)
| |||
| |||
| |||
| |||
|
1..5.pieces(3,SUM)
| 6 |
| 9 |
| 12 |
| 9 |
| 5 |