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...") |
|||
Line 3: | Line 3: | ||
*[[ 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) == |
Revision as of 10:59, 4 February 2020
Array Row Column Modify Functions
Array.ac(NumberOfColumns)
Add a count of NumberOfColumns to this array.
Same as Array.addcolumn()