Difference between revisions of "Array.suffix()"
Jump to navigation
Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
(No difference)
|
Revision as of 21:18, 4 March 2017
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.suffix()