Array nth Functions

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

Array.nth(SomeNth, SomeCount)

Get the nth element from the array. SomeCount (default as 1) of elements from the nth index is given. Result is an array.

If the first element is required, use the Array.firstelement() or Array.lastelement().

The following are the easier way to get the xth element from an array. If multidimensional array, it gives the xth row.

Array.first

Array.second

Array.third

Array.fourth

Array.fifth

Array.sixth

Array.seventh

Array.eighth

Array.nineth

Array.tenth

Array.eleventh

Array.twelfth

Array.thirteenth

Array.fourteenth

Array.fifteenth

Array.sixteenth

Array.seventeenth

Array.eighteenth

Array.nineteenth

Array.twentieth

Array.hundredth

Array.thousandth

Array.millionth

Array.firstelement

Gives first element.

Array.lastelement

Gives last element.

1..5.second()

2

MAGICSQUARE(5).third()

7

25

13

1

19