Difference between revisions of "Array.dc()"
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 6: | Line 6: | ||
==Array.dc(WhichColumn) == | ==Array.dc(WhichColumn) == | ||
− | Delete WhichColumn. | + | Delete WhichColumn. The column number is starting from "0" and so on. |
Same as [[ Array.deletecolumn() | Array.deletecolumn()]] | Same as [[ Array.deletecolumn() | Array.deletecolumn()]] | ||
+ | |||
+ | [[10,23,44,21],[56,67,38,72],[34,98,54,76]].dc(2) | ||
+ | |||
+ | {| class="wikitable"|- | ||
+ | | 10 || 23 || 21 | ||
+ | |- | ||
+ | | 56 || 67 || 72 | ||
+ | |- | ||
+ | |34 || 98 ||76 | ||
+ | |} | ||
+ | |||
+ | ==See Also== | ||
+ | [[Array.dr() |dr]] |
Latest revision as of 09:34, 21 April 2020
Array.dc(WhichColumn)
Delete WhichColumn. The column number is starting from "0" and so on.
Same as Array.deletecolumn()
[[10,23,44,21],[56,67,38,72],[34,98,54,76]].dc(2)
10 | 23 | 21 |
56 | 67 | 72 |
34 | 98 | 76 |