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).