Array.tail()

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

Array.tail()

Get the tail of the array, without the first element.

Same as Array.cdr()

A=20..30; A.tail()

21 22 23 24 25 26 27 28 29 30

A=(-10)..10; A.tail()

-9 -8 -7 -6 -5 -4 -3 -2 -1 0 1 2 3 4 5 6 7 8 9 10

See Also

car

head