CBMC
rename.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_RENAME_H
11 #define CPROVER_UTIL_RENAME_H
12 
13 //
14 // automated variable renaming
15 //
16 
17 #include "irep.h"
18 
19 class namespacet;
20 
28 [[nodiscard]] irep_idt
29 get_new_name(const irep_idt &name, const namespacet &ns, char delimiter = '_');
30 
31 #endif // CPROVER_UTIL_RENAME_H
dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition: dstring.h:38
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:94
get_new_name
irep_idt get_new_name(const irep_idt &name, const namespacet &ns, char delimiter='_')
Build and identifier not yet present in the namespace ns based on name.
Definition: rename.cpp:16