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