14 bool no_change =
true;
23 it.next_sibling_or_parent();
34 bool no_change =
true;
39 replace_mapt::const_iterator findit = what.find(*it);
40 if(findit != what.end())
42 it.mutate() = findit->second;
44 it.next_sibling_or_parent();
Base class for all expressions.
depth_iteratort depth_end()
depth_iteratort depth_begin()
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