23 it.next_sibling_or_parent();
39 replace_mapt::const_iterator
findit = what.find(*it);
42 it.mutate() =
findit->second;
44 it.next_sibling_or_parent();
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Base class for all expressions.
Forward depth-first search iterators These iterators' copy operations are expensive,...
bool replace_expr(const exprt &what, const exprt &by, exprt &dest)
std::unordered_map< exprt, exprt, irep_hash > replace_mapt