Array.$CELLS()

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

Array.$CELLS(Function|Array of Functions[,param1,param2,...])

Apply a function (first parameter), to cell addresses (last parameter as an array), with all other as parameters, and return the array.

a=|4|.fillwith(1..100);

a.$CELLS(SIN,[0,1,2,2])

1	0.9092974268256817	0.1411200080598672	4

5	-0.27941549819892586	0.6569865987187891	8

9	10	11	12

13	14	15	16