View source for Array.appendfunction()

*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]


==Array.appendfunction(Function|Array of Functions[,param1,param2,...]) ==

Adds a column which the result of this function on the remaining row. Works best when array is two dimensional.

[ [ 1,3,4 ] ].$$F(SUM)

{| class="wikitable"|-
| 1 || 3 || 4 || 8 
|}

[ [1,3,4 ] ].$$F(SIN)

{| class="wikitable"|-
| 1 || 3 || 4 || 0.8414709848078965 || 0.1411200080598672 || -0.7568024953079282 
|}

==See Also==
[[Array.extract() |extract]]

[[Array.accumulatewith() |accumulatewith]]