10 #ifndef CPROVER_UTIL_RENAME_H 11 #define CPROVER_UTIL_RENAME_H 29 char delimiter =
'_');
31 #endif // CPROVER_UTIL_RENAME_H Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
void get_new_name(symbolt &symbol, const namespacet &ns)
automated variable renaming
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
Base class for all expressions.