Array.allslices()

• << Z3 Home
• Z3 Language Documentation
• 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)

	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

See Also

• Outer
• Inner
• Chunks