Array.deepcopy()

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

Array.deepcopy()

Returns the deep copy of an array.Helpful to avoid by reference issues when array elements are overwritten etc.

c=[[1,2,3],[4,5,6],[7,8,9]];

c.deepcopy()

1	2	3
4	5	6
7	8	9

See Also

clone

copy