Array Row Column Modify Functions

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

These functions modify the array row columns.

Array.addrow()

Array.addcolumn()

Array.insertrow()

Array.insertcolumn()

Array.deleterow()

Array.deletecolumn()

Short Notations

Array.ar is the same as Array.addrow

Array.ac is the same as Array.addcolumn

Array.dr is the same as Array.deleterow

Array.dc is the same as Array.deletecolumn

Array.ir is the same as Array.insertrow

Array.ic is the same as Array.insertcolumn