rename.h

Go to the documentation of this file.

//
// automated variable renaming
//
 
#include <util/symtab/namespace.h>
 
void get_new_name(symbolt &symbol, const namespacet &ns);
 
void get_new_name(irep_idt &new_name, const namespacet &ns);