Difference between revisions of "Array.inner()"
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 Fu...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 3: | Line 3: | ||
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] | *[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] | ||
| − | == | + | ==Array.inner(InnerSize)== |
*1..100.inner(2) displaying skip first 2 numbers and give inner elements. | *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. | *1..100.inner(2)=3 4 5 6 7 8 9 10 11 ..98. | ||
*(-100)..10.inner(42) = -58 -57 -56 -55 -54..................-32 | *(-100)..10.inner(42) = -58 -57 -56 -55 -54..................-32 | ||
| + | |||
| + | ==See Also== | ||
| + | *[[Array.outer()|Outer]] | ||
| + | *[[Array.chunks()|Chunks]] | ||
| + | *[[Array.allslices() | AllSlices]] | ||
Latest revision as of 08:15, 13 February 2020
Array.inner(InnerSize)
- 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