writer
6,694
edits
Changes
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..."
*[[ Z3 | << Z3 Home ]]
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==Slices==
*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)
{| id="TABLE3" class="SpreadSheet blue"
|- class="even"
| class=" " |
| class="sshl_f" | 10
|- class="odd"
| class="sshl_f" | 10
| class="sshl_f" | 9
|- class="even"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
|- class="odd"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
|- class="even"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
| class="sshl_f" | 6
|- class="odd"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
| class="sshl_f" | 6
| class="sshl_f" | 5
|- class="even"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
| class="sshl_f" | 6
| class="sshl_f" | 5
| class="sshl_f" | 4
|- class="odd"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
| class="sshl_f" | 6
| class="sshl_f" | 5
| class="sshl_f" | 4
| class="sshl_f" | 3
|- class="even"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
| class="sshl_f" | 6
| class="sshl_f" | 5
| class="sshl_f" | 4
| class="sshl_f" | 3
| class="sshl_f" | 2
|- class="odd"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
| class="sshl_f" | 6
| class="sshl_f" | 5
| class="sshl_f" | 4
| class="sshl_f" | 3
| class="sshl_f" | 2
| class="sshl_f" | 1
|}
*[[ Z%5E3_Language_Documentation | Z3 Language Documentation]]
*[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]]
==Slices==
*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)
{| id="TABLE3" class="SpreadSheet blue"
|- class="even"
| class=" " |
| class="sshl_f" | 10
|- class="odd"
| class="sshl_f" | 10
| class="sshl_f" | 9
|- class="even"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
|- class="odd"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
|- class="even"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
| class="sshl_f" | 6
|- class="odd"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
| class="sshl_f" | 6
| class="sshl_f" | 5
|- class="even"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
| class="sshl_f" | 6
| class="sshl_f" | 5
| class="sshl_f" | 4
|- class="odd"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
| class="sshl_f" | 6
| class="sshl_f" | 5
| class="sshl_f" | 4
| class="sshl_f" | 3
|- class="even"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
| class="sshl_f" | 6
| class="sshl_f" | 5
| class="sshl_f" | 4
| class="sshl_f" | 3
| class="sshl_f" | 2
|- class="odd"
| class="sshl_f" | 10
| class="sshl_f" | 9
| class="sshl_f" | 8
| class="sshl_f" | 7
| class="sshl_f" | 6
| class="sshl_f" | 5
| class="sshl_f" | 4
| class="sshl_f" | 3
| class="sshl_f" | 2
| class="sshl_f" | 1
|}