cprover
|
#include "irep.h"
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 | ( | symbolt & | symbol, |
const namespacet & | ns | ||
) |
automated variable renaming
Definition at line 19 of file rename.cpp.
References get_new_name(), and symbolt::name.
Referenced by get_fresh_aux_symbol(), and get_new_name().
void get_new_name | ( | irep_idt & | new_name, |
const namespacet & | ns, | ||
char | delimiter | ||
) |
automated variable renaming
Definition at line 27 of file rename.cpp.
References id2string(), namespacet::lookup(), namespacet::smallest_unused_suffix(), and to_string().