Array.pieces()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

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 2 3

2 3 4

3 4 5

4 5

5

1..5.pieces(3,SUM)

6

9

12

9

5

See Also

chunks

parts