10 #ifndef CPROVER_UTIL_RENAME_H
11 #define CPROVER_UTIL_RENAME_H
29 char delimiter =
'_');
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Base class for all expressions.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
void get_new_name(symbolt &symbol, const namespacet &ns)
automated variable renaming