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

Array.insertcolumn()

Array.deleterow()

Array.deletecolumn()

Array.appendrow()

Array.appendcolumn()