Array.clearcopy()
Revision as of 13:40, 4 February 2020 by Joseph (talk | contribs) (Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...")
Array.clearcopy(FillWith)
Clear each element in a copy of the array, and replace it with undefined (or FillWith if provided). Original array is not affected.
1..10.clearcopy()
| undefined |
| undefined |
| undefined |
| undefined |
| undefined |
| undefined |
| undefined |
| undefined |
| undefined |
| undefined |
1..10.clearcopy(34)
| 34 |
| 34 |
| 34 |
| 34 |
| 34 |
| 34 |
| 34 |
| 34 |
| 34 |
| 34 |