Difference between revisions of "Array.remove()"
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 27: | Line 27: | ||
| 10 | | 10 | ||
|} | |} | ||
| + | |||
| + | ==See Also== | ||
| + | [[Array.dr() |dr]] | ||
| + | |||
| + | [[Array.dc() |dc]] | ||
Revision as of 02:59, 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 |