Array.deepcopy()
Revision as of 03:00, 30 April 2020 by Devika (talk | contribs) (Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
Array.deepcopy()
Returns the deep copy of an array.
c=[[1,2,3],[4,5,6],[7,8,9]];
c.deepcopy()
| 1 | 2 | 3 |
| 4 | 5 | 6 |
| 7 | 8 | 9 |