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...") |
(→Inner) |
||
| 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 | ||
Revision as of 08:08, 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