Array.remove()
Revision as of 16:03, 4 March 2017 by Joseph (talk | contribs) (Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
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 |