Difference between revisions of "Array.clean()"
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 13: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 |