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
symbolt
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
Definition:
symbol.h:30
get_new_name
void get_new_name(symbolt &symbol, const namespacet &ns)
automated variable renaming
Definition:
rename.cpp:19
namespacet
TO_BE_DOCUMENTED.
Definition:
namespace.h:74
dstringt
Definition:
dstring.h:21
irep.h
exprt
Base class for all expressions.
Definition:
expr.h:42
util
rename.h
Generated by
1.8.14