Array Cumulative Functions

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

Array.accumulate(FromTotal) Template:Anchor

Each element is accumulated using SUM with each element.

Array.cumcolumns(Columns|empty)

Each element is accumulated by columns (for the specified columns,or all if none is specified) using SUM with each element. Initial Value of 0 is assumed.

Array.cumrows(Rows|empty)

Each element is accumulated by rows for the specified rows, or all if none is specified) using SUM with each element. Initial Value of 0 is assumed.

Array.cumcolumn(Columns|empty)

Same as Array.cumcolumns

Array.cumrow(Row|empty)

Same as Array.cumrows

Array.accumulatewith(SomeFunction, SomeStartingValue or Parameter List)

Each element is accumulated using given function with each element, and with the starting array as first input (if given).

Array.cumcolumnswith(SomeFunction, SomeColumns ...)

Array.accumulatewith for each column.

Array.cumrowswith(SomeFunction, SomeRows ...)

Array.accumulatewith for each row

Array.cumcolumnwith(SomeFunction, SomeStartingValue or Parameter List)

Same as Array.accumulatewith for each column

Array.cumrowwith

Same as Array.cumrowswith for each column

Array.cumulate

Array.accumulatewith with function as NUMSUM