Array.suffix()

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

Array.suffix(Suffix)

Returns an array with the Suffix applied to each element.

1..10.suffix("suf")

1suf

2suf

3suf

4suf

5suf

6suf

7suf

8suf

9suf

10suf

See also Array.prefix()