Difference between revisions of "Array.ac()"
Jump to navigation
Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 2: | Line 2: | ||
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]] | *[[ Z%5E3_Language_Documentation | Z3 Language Documentation]] | ||
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] | *[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] | ||
| − | + | *[[ Array_Row_Column_Modify_Functions | Array Row Column Modify Functions]] | |
==Array.ac(NumberOfColumns) == | ==Array.ac(NumberOfColumns) == | ||
Latest revision as of 10:59, 4 February 2020
- << 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()