33 for(
auto it =
dest.depth_begin(), end =
dest.depth_end(); it != end; ++it)
47 expr_mapt::const_iterator entry =
127 if(
dest.has_subtype())
156 expr_mapt::const_iterator
e_it =
expr_map.find(p.get_identifier());
160 p.set_identifier(
e_it->second);
169 type_mapt::const_iterator it=
193 if(
dest.has_subtype())
219 for(
const auto &p :
code_type.parameters())
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
const exprt & size() const
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
std::string::const_iterator end() const
Base class for all expressions.
There are a large number of kinds of tree structured or tree-like data in CPROVER.
void insert(const class symbol_exprt &old_expr, const class symbol_exprt &new_expr)
virtual ~rename_symbolt()
bool have_to_rename(const exprt &dest) const
bool rename(exprt &dest) const
void insert_expr(const irep_idt &old_id, const irep_idt &new_id)
Base type for structs and unions.
Expression to hold a symbol (variable)
void set_identifier(const irep_idt &identifier)
const irep_idt & get_identifier() const
const irep_idt & get_identifier() const
void set_identifier(const irep_idt &identifier)
The type of an expression, extends irept.
#define forall_operands(it, expr)
Forward depth-first search iterators These iterators' copy operations are expensive,...
API to expression classes.
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast an exprt to a symbol_exprt.
const code_typet & to_code_type(const typet &type)
Cast a typet to a code_typet.
const array_typet & to_array_type(const typet &type)
Cast a typet to an array_typet.
const struct_union_typet & to_struct_union_type(const typet &type)
Cast a typet to a struct_union_typet.
const tag_typet & to_tag_type(const typet &type)
Cast a typet to a tag_typet.
const type_with_subtypest & to_type_with_subtypes(const typet &type)
const type_with_subtypet & to_type_with_subtype(const typet &type)