Difference between revisions of "Array.clean()"

From ZCubes Wiki
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 8: Line 8:
 
Replace the expression/regular expression/string with ReplaceWith. If ReplaceWith is empty, then replace it with empty string.
 
Replace the expression/regular expression/string with ReplaceWith. If ReplaceWith is empty, then replace it with empty string.
  
 +
11..20.clean(2)
 +
 +
{| class="wikitable"|-
 +
| 11
 +
|-
 +
| 1
 +
|-
 +
| 13
 +
|-
 +
| 14
 +
|-
 +
| 15
 +
|-
 +
| 16
 +
|-
 +
| 17
 +
|-
 +
| 18
 +
|-
 +
| 19
 +
|-
 +
| 0
 +
|}
  
  

Latest revision as of 14:44, 4 March 2017


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