Array.mid()

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

Array.mid(From,Count)

Get from the array, starting form index From (default 1), a number of elements specified by Count (default 1)

1..10.mid(5)

6

1..10.mid(5,4)

6

7

8

9

See Also

last

lastelement