Array.seq()
Revision as of 15:51, 4 March 2017 by Joseph (talk | contribs) (Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
Array.seq(StartIndex,By)
Replaces each element in this array by a number sequence from StartIndex (default 0) incremented by By (default 1)
1..10.seq(2,5)
| 2 |
| 7 |
| 12 |
| 17 |
| 22 |
| 27 |
| 32 |
| 37 |
| 42 |
| 47 |