cprover
simplify_expr.h File Reference

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(), invariant_sett::assignment(), 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(), has_and_or(), cpp_typecheckt::implicit_conversion_sequence(), symex_slice_by_tracet::implied_guards(), symex_slice_by_tracet::implies_false(), is_empty(), 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(), invariant_sett::remove(), invariant_sett::simplify(), 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()