Array.prefix()

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

Array.prefix(Prefix)

Returns an array with the Prefix applied to each element.

1..10.prefix("pre")

pre1

pre2

pre3

pre4

pre5

pre6

pre7

pre8

pre9

pre10

See also Array.suffix()