Difference between revisions of "Array.deletecolumn()"
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...") |
|||
| (2 intermediate revisions by the same user not shown) | |||
| Line 4: | Line 4: | ||
| − | ==Array.deletecolumn( | + | ==Array.deletecolumn(WhichColumn) == |
| − | Delete | + | Delete WhichColumn. |
Same as [[ Array.dc() | Array.dc()]] | Same as [[ Array.dc() | Array.dc()]] | ||
| + | |||
| + | See also [[Array Row Column Modify Functions]] | ||
Latest revision as of 11:15, 6 March 2017
Array.deletecolumn(WhichColumn)
Delete WhichColumn.
Same as Array.dc()
See also Array Row Column Modify Functions