Difference between revisions of "Array.stringlist()"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
+ | *[[ Z3 | << Z3 Home ]] | ||
+ | *[[ Z%5E3_Language_Documentation | Z3 Language Documentation]] | ||
+ | *[[ Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member Functions]] | ||
+ | |||
+ | ==Array.stringlist()== | ||
This function displays the array elements as strings. | This function displays the array elements as strings. | ||
Latest revision as of 04:27, 8 May 2020
Array.stringlist()
This function displays the array elements as strings.
Example
MONTHS .stringlist()
displays --> ["January","February","March","April","May","June","July","August","September","October","November","December"]