symbol_generator Member List

This is the complete list of members for symbol_generator, including all inherited members.

counter	symbol_generator
new_symbol(contextt &context, const typet &type, const std::string &name_prefix="")	symbol_generator
new_symbol(contextt &context, const type2tc &type, const std::string &name_prefix="")	symbol_generator
prefix	symbol_generator
symbol_generator(std::string prefix, unsigned counter=0)	symbol_generator	inline