Array.cumulate()

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

Array.cumulate(attributename)

To do currying.

Same as Array.prototype.cumulate=Array.prototype.accumulatewith.curry(function(x,y){return(x+y)})