cprover
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
exprt
;
20
class
namespacet
;
21
class
symbolt
;
22
23
void
get_new_name
(
symbolt
&symbol,
24
const
namespacet
&ns);
25
26
void
get_new_name
(
27
irep_idt
&new_name,
28
const
namespacet
&ns,
29
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:37
exprt
Base class for all expressions.
Definition:
expr.h:53
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition:
namespace.h:92
symbolt
Symbol table entry.
Definition:
symbol.h:28
get_new_name
void get_new_name(symbolt &symbol, const namespacet &ns)
automated variable renaming
Definition:
rename.cpp:19
irep.h
util
rename.h
Generated by
1.8.20