Array.clearcopy()

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

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