Array.clean()

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

Array.clean(Expression, ReplaceWith)

Replace the expression/regular expression/string with ReplaceWith. If ReplaceWith is empty, then replace it with empty string.

11..20.clean(2)

11
1
13
14
15
16
17
18
19
0

11..20.clean(/1/)

1
2
3
4
5
6
7
8
9
20