Array.clearcopy()

Revision as of 12: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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


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