Delete characters from a string
String_Type str_delete_chars (String_Type str, String_Type del_set
This function may be used to delete the set of characters specified by del_set from the string str. The result is returned.
str = str_delete_chars (str, "^A-Za-z");
will remove all characters except A-Z and a-z from str.
![[CIAO Logo]](../imgs/ciao_logo_navbar.gif){kind=logo}