Array.accumulatewith()

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

Array.accumulate(CumulativeFunction, FromTotal)

Accumulates the numbers by row and then by column sequentially using the CumulativeFunction (Default is CONCAT. Starts from FromTotal.

[[1,3,4],[2,3,4]].accumulatewith(SUM,0)

1	4	8
10	13	17