Array.remove()

• << Z3 Home
• Z3 Language Documentation
• 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)

6

7

8

9

10

See Also

dr

dc