10 #ifndef CPROVER_UTIL_RENAME_H 11 #define CPROVER_UTIL_RENAME_H 35 #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
Base class for all expressions.
bool rename(exprt &expr, const irep_idt &old_name, const irep_idt &new_name)
automated variable renaming