cprover
Deprecated List
Member ai_domain_baset::transform (const irep_idt &function_from, locationt from, const irep_idt &function_to, locationt to, ai_baset &ai, const namespacet &ns)=0
SINCE(2019, 08, 01, "use the history signature instead")
Member ait< domainT >::get_state (locationt l)
SINCE(2019, 08, 01, "use get_state(trace_ptrt p) instead")
Member ait< domainT >::operator[] (locationt l) const
SINCE(2019, 08, 01, "use abstract_state_{before,after} instead")
Member base_type_eq (const typet &type1, const typet &type2, const namespacet &ns)
"deprecated since " "2019" "-" "1" "-" "22" "; " "Use == instead"
Member base_type_eq (const exprt &expr1, const exprt &expr2, const namespacet &ns)
"deprecated since " "2019" "-" "1" "-" "22" "; " "Use == instead"
Member byte_update_exprt::offset ()
"deprecated since " "2019" "-" "5" "-" "21" "; " "use set_offset or as_const instead"
Member byte_update_exprt::op ()
"deprecated since " "2019" "-" "5" "-" "21" "; " "use set_op or as_const instead"
Member byte_update_exprt::value ()
"deprecated since " "2019" "-" "5" "-" "21" "; " "use set_value or as_const instead"
Class class_hierarchyt
class_hierarchy_grapht is a more advanced graph-based representation of the class hierarchy and its use is preferred over class_hierarchy_classt.
Member code_typet::parametert::parametert ()
"deprecated since " "2018" "-" "9" "-" "21" "; " "use parametert(type) instead"
Member dereference_callbackt::get_value_set (const exprt &expr, value_setst::valuest &value_set) const =0
SINCE(2019, 05, 22, "use vector returning version instead")
Member exprt::make_bool (bool value)

"deprecated since " "2019" "-" "5" "-" "28" "; " "use make_boolean_expr(value) instead"

use constructors instead

Member exprt::move_to_operands (exprt &expr)
"deprecated since " "2018" "-" "10" "-" "1" "; " "use add_to_operands(std::move(expr)) instead"
Member exprt::move_to_operands (exprt &e1, exprt &e2)
"deprecated since " "2018" "-" "10" "-" "1" "; " "use add_to_operands(std::move(e1), std::move(e2)) instead"
Member exprt::move_to_operands (exprt &e1, exprt &e2, exprt &e3)
"deprecated since " "2018" "-" "10" "-" "1" "; " "use add_to_operands(std::move(e1), std::move(e2), std::move(e3))" "instead"
Member find_symbols (const exprt &src, std::set< exprt > &dest)
"deprecated since " "2019" "-" "06" "-" "17" "; " "Unused"
Member function_application_exprt::function_application_exprt (const symbol_exprt &_function, const argumentst &_arguments, const typet &_type)
"deprecated since " "2019" "-" "3" "-" "3" "; " "use function_application_exprt(fkt, arg) instead"
Member get_variables (const symex_renaming_levelt &current_names, std::unordered_set< ssa_exprt, irep_hash > &vars)
SINCE(2019, 6, 5, "Unused")
Member goto_functiont::is_hidden () const
SINCE(2019, 2, 16, "Get the type from the symbol table instead")
Member goto_functiont::is_inlined () const
SINCE(2019, 2, 16, "Get the type from the symbol table instead")
Member goto_functiont::make_hidden ()
SINCE(2019, 2, 16, "Get the type from the symbol table instead")
Member goto_functiont::type
SINCE(2019, 2, 16, "Get the type from the symbol table instead")
Member goto_program_dereferencet::get_value_set (const exprt &expr, value_setst::valuest &dest) const override
SINCE(2019, 05, 22, "use vector returning version instead")
Member goto_programt::instructiont::make_assertion (const exprt &g)
SINCE(2019, 2, 13, "use goto_programt::make_assertion() instead")
Member goto_programt::instructiont::make_assignment (const code_assignt &_code)
SINCE(2019, 2, 13, "use goto_programt::make_assignment() instead")
Member goto_programt::instructiont::make_assignment ()
SINCE(2019, 2, 13, "use goto_programt::make_assignment() instead")
Member goto_programt::instructiont::make_assumption (const exprt &g)
SINCE(2019, 2, 13, "use goto_programt::make_assumption() instead")
Member goto_programt::instructiont::make_atomic_begin ()
SINCE(2019, 2, 13, "use goto_programt::make_atomic_begin() instead")
Member goto_programt::instructiont::make_atomic_end ()
SINCE(2019, 2, 13, "use goto_programt::make_atomic_end() instead")
Member goto_programt::instructiont::make_catch ()
SINCE(2019, 2, 13, "use goto_programt::make_catch() instead")
Member goto_programt::instructiont::make_dead ()
SINCE(2019, 2, 13, "use goto_programt::make_dead() instead")
Member goto_programt::instructiont::make_decl (const code_declt &_code)
SINCE(2019, 2, 13, "use goto_programt::make_decl() instead")
Member goto_programt::instructiont::make_decl ()
SINCE(2019, 2, 13, "use goto_programt::make_decl() instead")
Member goto_programt::instructiont::make_end_function ()
SINCE(2019, 2, 13, "use goto_programt::make_end_function() instead")
Member goto_programt::instructiont::make_function_call (const code_function_callt &_code)
SINCE(2019, 2, 13, "use goto_programt::make_function_call() instead")
Member goto_programt::instructiont::make_goto (targett _target)
SINCE(2019, 2, 13, "use goto_programt::make_goto() instead")
Member goto_programt::instructiont::make_goto (targett _target, const exprt &g)
SINCE(2019, 2, 13, "use goto_programt::make_goto() instead")
Member goto_programt::instructiont::make_incomplete_goto (const code_gotot &_code)
SINCE(2019, 2, 13, "use goto_programt::make_incomplete_goto() instead")
Member goto_programt::instructiont::make_location (const source_locationt &l)
SINCE(2019, 2, 13, "use goto_programt::make_location() instead")
Member goto_programt::instructiont::make_other (const codet &_code)
SINCE(2019, 2, 13, "use goto_programt::make_other() instead")
Member goto_programt::instructiont::make_return ()
SINCE(2019, 2, 13, "use goto_programt::make_return() instead")
Member goto_programt::instructiont::make_skip ()
SINCE(2019, 2, 13, "use goto_programt::make_skip() instead")
Member goto_programt::instructiont::make_throw ()
SINCE(2019, 2, 13, "use goto_programt::make_throw() instead")
Member interpretert::get_component (const irep_idt &object, const mp_integer &offset)
"use the object_type version instead"
Member java_is_array_type (const typet &type)
SINCE(2019, 6, 10, "use is_java_array_type instead")
Member link_to_library (symbol_tablet &, goto_functionst &, message_handlert &, const std::function< void(const std::set< irep_idt > &, symbol_tablet &, message_handlert &)> &)
SINCE(2019, 2, 28, "Use link_to_library(goto_model, ...) instead")
Member link_to_library (symbol_tablet &, goto_functionst &, message_handlert &, const std::function< void(const std::set< irep_idt > &, symbol_tablet &, message_handlert &)> &)
SINCE(2019, 2, 28, "Use link_to_library(goto_model, ...) instead")
Member location_sensitive_storaget::get_state (locationt l, const ai_domain_factory_baset &fac)
SINCE(2019, 08, 01, "use get_state(trace_ptrt p) instead")
Member messaget::messaget ()
"deprecated since " "2019" "-" "1" "-" "7" "; " "use messaget(message_handler) instead"
Member side_effect_expr_function_callt::side_effect_expr_function_callt (const exprt &_function, const exprt::operandst &_arguments, const typet &_type)
"deprecated since " "2018" "-" "8" "-" "9" "; " "use side_effect_expr_function_callt(" "function, arguments, type, loc) instead"
Member side_effect_exprt::side_effect_exprt (const irep_idt &statement, const typet &_type)
"deprecated since " "2018" "-" "8" "-" "9" "; " "use side_effect_exprt(statement, type, loc) instead"
Member ssa_exprt::update_identifier ()
"deprecated since " "2019" "-" "05" "-" "29" "; " "Should only be used internally"
Member string_constraint_generatort::add_axioms_for_code_point_count (const function_application_exprt &f)

This is Java specific and should be implemented in Java.

SINCE(2017, 10, 5, "Java specific, should be implemented in Java")

Member string_constraint_generatort::add_axioms_for_concat (const array_string_exprt &res, const array_string_exprt &s1, const array_string_exprt &s2)
should use concat_substr instead
Member string_constraint_generatort::add_axioms_for_concat_code_point (const function_application_exprt &f)
java specific
Member string_constraint_generatort::add_axioms_for_copy (const function_application_exprt &f)

should use substring instead

SINCE(2017, 10, 5, "should use substring instead")

Member string_constraint_generatort::add_axioms_for_is_empty (const function_application_exprt &f)

should use string_length(s)==0 instead

SINCE(2017, 10, 5, "should use `string_length s == 0` instead")

Member string_constraint_generatort::add_axioms_for_is_suffix (const function_application_exprt &f, bool swap_arguments)

Should use strings_startwith(s0, s1, s1.length - s0.length).

SINCE(2018, 6, 6, "should use strings_startwith")

Member string_constraint_generatort::add_axioms_for_offset_by_code_point (const function_application_exprt &f)

This is Java specific and should be implemented in Java.

SINCE(2017, 10, 5, "Java specific, should be implemented in Java")

Member string_constraint_generatort::add_axioms_from_bool (const array_string_exprt &res, const exprt &b)

This is Java specific and should be implemented in Java instead

SINCE(2017, 10, 5, "Java specific, should be implemented in Java")

Member string_constraint_generatort::add_axioms_from_int_hex (const array_string_exprt &res, const exprt &i)

use add_axioms_from_int_with_radix instead

SINCE(2017, 10, 5, "use add_axioms_for_string_of_int_with_radix")

Member string_constraint_generatort::add_axioms_from_long (const function_application_exprt &f)

should use add_axioms_from_int instead

SINCE(2017, 10, 5, "use add_axioms_for_string_of_int instead")

Member symex_dereference_statet::get_value_set (const exprt &expr, value_setst::valuest &value_set) const override
SINCE(2019, 05, 22, "use vector returning version instead")
Member unwindsett::parse_unwindset (const std::string &unwindset)
SINCE(2019, 11, 15, "use parse_unwindset(list) instead")
Member value_set_analysis_fit::get_values (const irep_idt &function_id, locationt l, const exprt &expr, std::list< exprt > &dest) override
SINCE(2019, 05, 22, "Use the version returning list instead")
Member value_set_analysis_templatet< VSDT >::get_values (const irep_idt &, locationt l, const exprt &expr, value_setst::valuest &dest) override
SINCE(2019, 05, 22, "use list returning version instead")
Member value_set_fit::get_value_set (const exprt &expr, std::list< exprt > &dest, const namespacet &ns) const
SINCE(2019, 05, 22, "Use the version returning vector instead")
Member value_setst::get_values (const irep_idt &function_id, goto_programt::const_targett l, const exprt &expr, valuest &dest)=0
SINCE(2019, 05, 22, "use vector returning version instead")
Member value_sett::dynamic_object_id_sett
SINCE(2019, 05, 22, "Unused")
Member value_sett::expr_sett
SINCE(2019, 05, 22, "Only used in deprecated function")
Member value_sett::get (const irep_idt &identifier, const std::string &suffix)
SINCE(2019, 05, 22, "Unimplemented")
Member value_sett::get_value_set (exprt expr, object_mapt &dest, const namespacet &ns, bool is_simplified) const
SINCE(2019, 05, 22, "Use the version returning object_mapt instead")
Member value_sett::get_value_set (exprt expr, value_setst::valuest &dest, const namespacet &ns) const
SINCE(2019, 05, 22, "Use get_value_set(exprt, const namespacet &) instead")
Member value_sett::offset_is_zero (const offsett &offset) const
SINCE(2019, 05, 22, "Unused")
Member value_sett::output (const namespacet &ns, std::ostream &out, const std::string &indent="") const
SINCE(2019, 06, 11, "Use the version without ns argument")