22 dest.
id(src[0].value);
24 for(
unsigned i=1; i<src.size(); i++)
27 const std::string &name=src[i].
value;
49 dest.reserve(2+2*src.
get_sub().size()
void lisp2irep(const lispexprt &src, irept &dest)
void move_to_sub(irept &irep)
#define forall_named_irep(it, irep)
const irep_idt & id() const
const std::string & name2string(const irep_namet &n)
named_subt & get_comments()
Base class for tree-like data structures with sharing.
void irep2lisp(const irept &src, lispexprt &dest)
named_subt & get_named_sub()
const std::string & id_string() const
void move_to_named_sub(const irep_namet &name, irept &irep)
#define forall_irep(it, irep)