cprover
simplify_expr.cpp File Reference
#include "simplify_expr.h"
#include <cassert>
#include <algorithm>
#include "c_types.h"
#include "rational.h"
#include "simplify_expr_class.h"
#include "mp_arith.h"
#include "arith_tools.h"
#include "replace_expr.h"
#include "std_types.h"
#include "expr_util.h"
#include "std_expr.h"
#include "fixedbv.h"
#include "pointer_offset_size.h"
#include "rational_tools.h"
#include "config.h"
#include "base_type.h"
#include "namespace.h"
#include "threeval.h"
#include "pointer_predicates.h"
#include "prefix.h"
#include "byte_operators.h"
#include "bv_arithmetic.h"
#include "endianness_map.h"
#include "simplify_utils.h"
Include dependency graph for simplify_expr.cpp:

Go to the source code of this file.

Functions

bool simplify (exprt &expr, const namespacet &ns)
 
exprt simplify_expr (const exprt &src, const namespacet &ns)
 

Function Documentation

◆ simplify()

bool simplify ( exprt expr,
const namespacet ns 
)

Definition at line 2384 of file simplify_expr.cpp.

References simplify_exprt::simplify().

Referenced by disjunctive_polynomial_accelerationt::accelerate(), partial_order_concurrencyt::add_constraint(), goto_checkt::add_guarded_claim(), add_padding(), constant_propagator_domaint::ai_simplify(), build_full_lhs_rec(), build_goto_trace(), c_offsetof(), c_sizeof(), goto_convertt::clean_expr(), goto_program2codet::cleanup_code_ifthenelse(), goto_program2codet::cleanup_expr(), symex_slice_by_tracet::compute_ts_back(), goto_convertt::convert(), goto_program2codet::convert_do_while(), goto_program2codet::convert_goto_break_continue(), goto_program2codet::convert_goto_goto(), goto_program2codet::convert_goto_if(), goto_program2codet::convert_goto_while(), cpp_typecheckt::convert_initializer(), goto_program_dereferencet::dereference_failure(), acceleration_utilst::do_assumptions(), goto_symext::do_simplify(), c_typecheck_baset::do_special_functions(), linkingt::duplicate_object_symbol(), get_string_argument(), goto_convertt::get_string_constant(), value_sett::get_value_set(), value_set_fit::get_value_set(), value_set_fivrnst::get_value_set(), value_set_fivrt::get_value_set(), value_sett::get_value_set_rec(), cpp_typecheckt::implicit_conversion_sequence(), symex_slice_by_tracet::implied_guards(), symex_slice_by_tracet::implies_false(), c_typecheck_baset::make_constant(), c_typecheck_baset::make_constant_index(), printf_formattert::make_type(), member_offset_expr(), acceleration_utilst::precondition(), polynomial_acceleratort::precondition(), memory_model_tsot::program_order(), size_of_expr(), c_sizeoft::sizeof_rec(), symex_slice_by_tracet::slice_by_trace(), symex_slice_by_tracet::slice_SSA_steps(), goto_symext::symex_malloc(), invariant_set_domaint::transform(), c_typecheck_baset::typecheck_array_type(), c_typecheck_baset::typecheck_c_enum_type(), cpp_typecheckt::typecheck_compound_declarator(), c_typecheck_baset::typecheck_expr_builtin_offsetof(), cpp_typecheckt::typecheck_template_args(), cpp_typecheckt::typecheck_type(), c_typecheck_baset::typecheck_vector_type(), unpack_rec(), and unsigned_from_ns().

◆ simplify_expr()