Difference between revisions of "Array.remove()"
(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 9: | Line 9: | ||
[1,2,3].remove([2]) | [1,2,3].remove([2]) | ||
| + | |||
[1, 3] | [1, 3] | ||
[1,2,3].remove(2,3) | [1,2,3].remove(2,3) | ||
| + | |||
[1] | [1] | ||
| Line 27: | Line 29: | ||
| 10 | | 10 | ||
|} | |} | ||
| + | |||
| + | ==See Also== | ||
| + | [[Array.dr() |dr]] | ||
| + | |||
| + | [[Array.dc() |dc]] | ||
Latest revision as of 03:05, 27 April 2020
Array.remove(ElementsToRemove|List of Elements)
Remove ElementsToRemove from original array.
[1,2,3].remove([2])
[1, 3]
[1,2,3].remove(2,3)
[1]
1..10.remove(1..5)
| 6 |
| 7 |
| 8 |
| 9 |
| 10 |