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.

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

1..5.second()

2

MAGICSQUARE(5).third()

7

25

13

1

19