Array.rest()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

Array.rest(Start, Count)

Remove the part of the array from Start (as well as Count number of elements from Start), and provide the rest of the elements.

Note: Start is treated as zero indexed.

1..10.rest(3,2)

1
2
3
6
7
8
9
10