cprover
|
#include "expr.h"
Go to the source code of this file.
Typedefs | |
typedef std::unordered_map< exprt, exprt, irep_hash > | replace_mapt |
Functions | |
bool | replace_expr (const exprt &what, const exprt &by, exprt &dest) |
bool | replace_expr (const replace_mapt &what, exprt &dest) |
typedef std::unordered_map<exprt, exprt, irep_hash> replace_mapt |
Definition at line 20 of file replace_expr.h.
Definition at line 12 of file replace_expr.cpp.
References Forall_operands, and replace_expr().
Referenced by disjunctive_polynomial_accelerationt::accelerate(), polynomial_acceleratort::accelerate(), acceleration_utilst::assign_array(), string_refinementt::check_axioms(), boolbvt::convert_lambda(), bv_cbmct::convert_waitfor(), acceleration_utilst::do_arrays(), acceleration_utilst::do_nonrecursive(), acceleration_utilst::expr2poly(), acceleration_utilst::gather_array_assignments(), string_refinementt::initial_index_set(), string_refinementt::instantiate(), instantiate_quantifier(), mm_io(), acceleration_utilst::precondition(), polynomial_acceleratort::precondition(), replace_expr(), simplify_exprt::simplify_index(), simplify_exprt::simplify_rec(), and goto_symext::symex_macro().
bool replace_expr | ( | const replace_mapt & | what, |
exprt & | dest | ||
) |
Definition at line 28 of file replace_expr.cpp.
References Forall_operands, and replace_expr().