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) ...") |
|||
| 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) == | ||
Revision as of 09:47, 5 February 2020
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 |