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

Array.appendcolumn()

Array.insertrow()

Array.insertcolumn()

Array.deleterow()

Array.deletecolumn()

Array.ac 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;