Array.rslice()

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

Array.rslice(Begin, End)

Same as Array.slice but from the right side. Both Begin and End are from the ends. Same as Array.reverse().slice(Begin,End).reverse()

[1,2,3,4,5].rslice(1,2)

[4]

[1,2,3,4,5].rslice(1,3)

[3, 4]