cprover
|
Go to the source code of this file.
Functions | |
void | convert (const irept &irep, xmlt &xml) |
void | convert (const xmlt &xml, irept &irep) |
Definition at line 19 of file xml_irep.cpp.
References convert(), xmlt::data, forall_irep, forall_named_irep, irept::get_comments(), irept::get_named_sub(), irept::get_sub(), irept::id(), irept::id_string(), name2string(), xmlt::new_element(), and xmlt::set_attribute().
Referenced by convert().
Definition at line 47 of file xml_irep.cpp.
References convert(), xmlt::elements, irept::id(), irept::move_to_named_sub(), irept::move_to_sub(), and r.