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...") |
(No difference)
|
Revision as of 16:03, 4 March 2017
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 |