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...") |
|||
| 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]] | ||
Revision as of 09:31, 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 |