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