10 #ifndef CPROVER_UTIL_REPLACE_EXPR_H 11 #define CPROVER_UTIL_REPLACE_EXPR_H 25 #endif // CPROVER_UTIL_REPLACE_EXPR_H bool replace_expr(const exprt &what, const exprt &by, exprt &dest)
Base class for all expressions.
std::unordered_map< exprt, exprt, irep_hash > replace_mapt