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