cprover
|
Go to the source code of this file.
Functions | |
void | get_new_name (symbolt &symbol, const namespacet &ns) |
automated variable renaming More... | |
void | get_new_name (irep_idt &new_name, const namespacet &ns, char delimiter) |
automated variable renaming More... | |
void get_new_name | ( | irep_idt & | new_name, |
const namespacet & | ns, | ||
char | delimiter | ||
) |
automated variable renaming
Definition at line 27 of file rename.cpp.
void get_new_name | ( | symbolt & | symbol, |
const namespacet & | ns | ||
) |
automated variable renaming
Definition at line 19 of file rename.cpp.