Array.backward()

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

Array.backward(Function,StartValue)

Returns the backward value of the given array.

(1..10).backward()

10 9 8 7 6 5 4 3 2 1

|3,2,1..10|.backward()

6 5 4 3 2 1

See Also

forward

mid