Array.secondhalf()

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

Array.secondhalf()

Gets the second half of the array.

1..5.secondhalf()

3

4

5

See also

firsthalf