12 #ifndef CPROVER_UTIL_FRESH_SYMBOL_H 13 #define CPROVER_UTIL_FRESH_SYMBOL_H 26 const std::string &name_prefix,
27 const std::string &basename_prefix,
32 #endif // CPROVER_UTIL_FRESH_SYMBOL_H The type of an expression.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
const source_locationt & source_location() const
The symbol table base class interface.
symbolt & get_fresh_aux_symbol(const typet &type, const std::string &name_prefix, const std::string &basename_prefix, const source_locationt &source_location, const irep_idt &symbol_mode, symbol_table_baset &symbol_table)
Installs a fresh-named symbol with the requested name pattern.