14 #ifndef CPROVER_GOTO_CC_XML_BINARIES_XML_SYMBOL_HASHING_H 15 #define CPROVER_GOTO_CC_XML_BINARIES_XML_SYMBOL_HASHING_H 38 #endif // CPROVER_GOTO_CC_XML_BINARIES_XML_SYMBOL_HASHING_H xml_irep_convertt irepconverter
xml_symbol_convertt(xml_irep_convertt::ireps_containert &ic)
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
XML-irep conversions with hashing.
std::list< irept > irepcache
void convert(const symbolt &, xmlt &)
converts a symbol to an xml symbol node