Array.inner()
Revision as of 02:17, 12 February 2020 by Devika (talk | contribs) (Created page with " << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Fu...")
Inner
- 1..100.inner(2) displaying skip first 2 numbers and give inner elements.
- 1..100.inner(2)=3 4 5 6 7 8 9 10 11 ..98.
- (-100)..10.inner(42) = -58 -57 -56 -55 -54..................-32