Array.forward()

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

Array.forward(Function,StartValue)

Returns the forward value of the given array.The first array element becomes the first, and the last array element becomes the last. forward() will not change the original array value.

(1..10).forward()

1 2 3 4 5 6 7 8 9 10

a=|3,2,1..10|;
a.forward();
a;

1	2
3	4
5	6

See Also

backward

mid