10 #ifndef CPROVER_UTIL_REPLACE_EXPR_H 11 #define CPROVER_UTIL_REPLACE_EXPR_H 20 #include <unordered_map> 27 #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