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 |