Array.ac()
Jump to navigation
Jump to search
- << 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()