Difference between revisions of "Array.allslices()"
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...") |
(→Slices) |
||
| (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.allslices(SliceSize)== |
*1..100.allslices() gives slices of numbers of length 1 to end. | *1..100.allslices() gives slices of numbers of length 1 to end. | ||
*1..10.allslices(true) gives reverse slices of length 1 to end. | *1..10.allslices(true) gives reverse slices of length 1 to end. | ||
| Line 84: | Line 84: | ||
| class="sshl_f" | 1 | | class="sshl_f" | 1 | ||
|} | |} | ||
| + | |||
| + | ==See Also== | ||
| + | *[[Array.outer()|Outer]] | ||
| + | *[[Array.inner() | Inner]] | ||
| + | *[[Array.chunks()|Chunks]] | ||
Latest revision as of 07:19, 13 February 2020
Array.allslices(SliceSize)
- 1..100.allslices() gives slices of numbers of length 1 to end.
- 1..10.allslices(true) gives reverse slices of length 1 to end.
- 1..10.allslices(true)
| 10 | |||||||||
| 10 | 9 | ||||||||
| 10 | 9 | 8 | |||||||
| 10 | 9 | 8 | 7 | ||||||
| 10 | 9 | 8 | 7 | 6 | |||||
| 10 | 9 | 8 | 7 | 6 | 5 | ||||
| 10 | 9 | 8 | 7 | 6 | 5 | 4 | |||
| 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | ||
| 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | |
| 10 | 9 | 8 | 7 | 6 | 5 | 4 | 3 | 2 | 1 |