Administrators, writer
2,824
edits
Changes
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..."
*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==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)
{| class="wikitable"|-
| 6
|-
| 7
|-
| 8
|-
| 9
|-
| 10
|}
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==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)
{| class="wikitable"|-
| 6
|-
| 7
|-
| 8
|-
| 9
|-
| 10
|}