cprover
Loading...
Searching...
No Matches
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
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition
namespace.h:91
irep.h
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
irep_idt
dstringt irep_idt
Definition
verification_result.h:16
util
rename.h
Generated by
1.13.2