Array.joinrowswith()

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

By use of this command, each element from an original array is joined/added with the element specified in the argument. The new element (if with different data type) is joined after each element of original array.

Examples

1.

a=1,3,4,3,5,7,9;
a.joinrowswith(["join"])

-->Displays output as 1 join 3 join 4 join 3 join 5 join 7 join 9 join

2.

a=MAGICSQUARE(3);
a.joinrowswith([3])

-->Displays output as 5 12 7 10 8 6 9 4 11.
Here each element is added with '3'. Output array is displayed as single dimensional array, with addition to first elements of all rows to display as first row of output array, and so on.

See Also

• joinwith
• joincolumnswith