Difference between revisions of "Array nth Functions"
Jump to navigation
Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
|||
Line 11: | Line 11: | ||
Array.first | Array.first | ||
+ | |||
Array.second | Array.second | ||
+ | |||
Array.third | Array.third | ||
+ | |||
Array.fourth | Array.fourth | ||
+ | |||
Array.fifth | Array.fifth | ||
+ | |||
Array.sixth | Array.sixth | ||
+ | |||
Array.seventh | Array.seventh | ||
+ | |||
Array.eighth | Array.eighth | ||
+ | |||
Array.nineth | Array.nineth | ||
+ | |||
Array.tenth | Array.tenth | ||
+ | |||
Array.eleventh | Array.eleventh | ||
+ | |||
Array.twelfth | Array.twelfth | ||
+ | |||
Array.thirteenth | Array.thirteenth | ||
+ | |||
Array.fourteenth | Array.fourteenth | ||
+ | |||
Array.fifteenth | Array.fifteenth | ||
+ | |||
Array.sixteenth | Array.sixteenth | ||
+ | |||
Array.seventeenth | Array.seventeenth | ||
+ | |||
Array.eighteenth | Array.eighteenth | ||
+ | |||
Array.nineteenth | Array.nineteenth | ||
+ | |||
Array.twentieth | Array.twentieth | ||
+ | |||
Array.hundredth | Array.hundredth | ||
+ | |||
Array.thousandth | Array.thousandth | ||
+ | |||
Array.millionth | Array.millionth | ||
Revision as of 13:58, 4 March 2017
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 |