Array.concatall()

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

Array.concatall(LimitArray, IncludeEdges)

This function concatenates all the elements in an array or table row wise.

Example

1.

a=FUNCT("[x,x^2]")
b=a(2..5)
b.concatall()

-->The above code defines a function to display the entry elements and their squares. Later, concatall() concatenates all the elements row wise.
b is obtained as :
2 4 5
4 16 25

Final conacatenated output is - 2 4 5 4 16 25

2.

a=["aa","bb","cc"]
a.concatall()

Output-->aa bb cc

See Also

• fillwith