xml_irep_convertt irepconverter
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
void reference_convert(const irept &irep, xmlt &xml)
XML-irep conversions with hashing.
void resolve_references(const irept &cur)
resolves references to ireps from an irep after reading an irep hash map into memory.
void convert(const irept &irep, xmlt &xml)
std::list< irept > irepcache
Base class for tree-like data structures with sharing.
xmlt & new_element(const std::string &name)
XML-symbol conversions with irep hashing.
void from_irep(const irept &src)
void convert(const symbolt &, xmlt &)
converts a symbol to an xml symbol node