Array.seq()

• << Z3 Home
• Z3 Language Documentation
• Listing of Z3 Array Manipulation Member Functions

Array.seq(StartIndex,By)

Replaces each element in this array by a number sequence from StartIndex (default 0) incremented by By (default 1)

1..10.seq(2,5)

2
7
12
17
22
27
32
37
42
47