Array.at()

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

These functions operate on array locations and values to create contours and other interesting operations. Array Indices and XY Functions

Array.at(Function, SubtractByArray, ScaleByArray,DoShowIndices)

Returns the result of applying the Function/FunctionSet to each value at the location of the array, then offsets (adds) and scales the results with SubtractByArray [default 0] and ScaleByArray [default 1]. DoShowIndices [default false] gives the x,y indices when outputting the result, and is opposite in behavior to Array.xy().

MAGICSQUARE(3).at()

2	7	6
9	5	1
4	3	8

MAGICSQUARE(3).at(SIN)

0.9092974268256817	0.6569865987187891	-0.27941549819892586
0.4121184852417566	-0.9589242746631385	0.8414709848078965
-0.7568024953079282	0.1411200080598672	0.9893582466233818