Array.rcfunctions

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

Array.$C(Column Array to apply, Function/Array of Functions, Optional Parameters)

Apply function array with parameters to the list of columns.

Array.$R(Row Array to apply, Function/Array of Functions, Optional Parameters)

Apply function array with parameters to the list of rows.

Array.$CELLS(row column width height area, Function/Array of Functions, Optional Parameters)

Apply function array with parameters to the list Row/Column Area indices and width and height to apply (l,t,w,h).

Examples

|4|.$CELLS([1,1,2,3],"x+45-x*3")
z=[10000,2..3,12..16,20000]@PMT;
z.io().crosstab() 
// make these location, function array, parameter array
z.$C([2,2,2,3],SIN)
1..10.$C([2,2,2,3],SIN)
[1..10].$C([2,2,2,3],SIN)
ARRAY(4,4,0).deal().$C([2,2,2,3],SIN)
ARRAY(4,4,0).deal(100).$R(2,SIN)
ARRAY(4,4,0).deal(100).$C(2,SIN)
ARRAY(4,4,0).deal(100).$CELLS([0,3,1,4],SIN)
ARRAY(4,4,0).deal(100).$C(2,"x^2")
ARRAY(4,4,0).deal(100).$CELLS([0,3,1,2],SIN)
ARRAY(4,4,0).deal(100).$CELLS([0,3,3,1],SIN)
ARRAY(4,4,0).deal(100).$C([1..3],SIN)