Difference between revisions of "Array.clear()"
Jump to navigation
Jump to search
(Created page with "* << Z3 Home * Z3 Language Documentation * Z%5E3_Array_Manipulation_Member_Functions | Listing of Z3 Array Manipulation Member F...") |
|||
| Line 6: | Line 6: | ||
==Array.clear(FillWith) == | ==Array.clear(FillWith) == | ||
| − | Clear each element in the array, and replace it with undefined (or FillWith if provided). | + | Clear each element in the array, and replace it with undefined (or FillWith if provided). Original array is affected. |
1..10.clear() | 1..10.clear() | ||
Latest revision as of 13:34, 4 February 2020
Array.clear(FillWith)
Clear each element in the array, and replace it with undefined (or FillWith if provided). Original array is affected.
1..10.clear()
| undefined |
| undefined |
| undefined |
| undefined |
| undefined |
| undefined |
| undefined |
| undefined |
| undefined |
| undefined |
1..10.clear(34)
| 34 |
| 34 |
| 34 |
| 34 |
| 34 |
| 34 |
| 34 |
| 34 |
| 34 |
| 34 |