Array.implode()

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

Array.implode(RecurseTillLevel)

Returns a string from elements of an array. It takes an array of strings and joins them together.

Implode is reverse of Explode

1..10.explode().implode()

0
0	1
0	1	2
0	1	2	3
0	1	2	3	4
0	1	2	3	4	5
0	1	2	3	4	5	6
0	1	2	3	4	5	6	7
0	1	2	3	4	5	6	7	8
0	1	2	3	4	5	6	7	8	9

See Also

Explode

Unimplode