Array.ac()

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

Array Row Column Modify Functions

Array.ac(NumberOfColumns)

Add a count of NumberOfColumns to this array.

Same as Array.addcolumn()