Array.clear()

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

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