15 #ifndef CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_PROGRAM_HASHING_H 16 #define CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_PROGRAM_HASHING_H 43 #endif // CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_PROGRAM_HASHING_H
std::list< instructiont > instructionst
void convert(const goto_programt &, xmlt &)
constructs the xml structure according to the goto program and the namespace into the given xml objec...
XML-irep conversions with hashing.
goto_programt::targett find_instruction(const xmlt &, goto_programt::instructionst &, const std::string &)
finds the index of the instruction labelled with the given target label in the given xml-program ...
xml_irep_convertt irepconverter
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
xml_goto_program_convertt(xml_irep_convertt::ireps_containert &ic)
instructionst::iterator targett