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;
36 dest.move_to_sub(sub);
38 dest.move_to_named_sub(name, sub);
49#if NAMED_SUB_IS_FORWARD_LIST
64 for(
const auto &irep : src.
get_sub())
virtual void clear()
Reset the abstract state.
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
There are a large number of kinds of tree structured or tree-like data in CPROVER.
const std::string & id_string() const
named_subt & get_named_sub()
const std::string & id2string(const irep_idt &d)
void lisp2irep(const lispexprt &src, irept &dest)
void irep2lisp(const irept &src, lispexprt &dest)