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 #ifdef NAMED_SUB_IS_FORWARD_LIST
50 const std::size_t named_sub_size =
53 const std::size_t named_sub_size = src.
get_named_sub().size();
55 dest.reserve(2 + 2 * src.
get_sub().size() + 2 * named_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)
There are a large number of kinds of tree structured or tree-like data in CPROVER.