10#ifndef CPROVER_UTIL_RENAME_H
11#define CPROVER_UTIL_RENAME_H
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
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.
1.9.8