Array.appendfunction()

• << Z3 Home
• Z3 Language Documentation
• 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.

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

1

3

4

8

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

1

3

4

0.8414709848078965

0.1411200080598672

-0.7568024953079282