cprover
Deprecated List
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 exprt &expr1, const exprt &expr2, const namespacet &ns)
"deprecated since " "2019" "-" "1" "-" "22" "; " "Use == instead"
Member base_type_eq (const typet &type1, const typet &type2, const namespacet &ns)
"deprecated since " "2019" "-" "1" "-" "22" "; " "Use == 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 dynamic_object (const exprt &pointer)
"deprecated since " "2021" "-" "5" "-" "6" "; " "Use is_dynamic_object_exprt instead"
Member dynamic_object_lower_bound (const exprt &pointer, const exprt &offset)
"deprecated since " "2021" "-" "5" "-" "6" "; " "Use object_lower_bound instead"
Member dynamic_object_upper_bound (const exprt &pointer, const namespacet &, const exprt &access_size)
"deprecated since " "2021" "-" "5" "-" "6" "; " "Use object_upper_bound instead"
Member dynamic_size (const namespacet &)
"deprecated since " "2021" "-" "5" "-" "6" "; " "Use object_size instead"
Member goto_programt::instructiont::get_assign () const
SINCE(2021, 2, 24, "Use assign_lhs/rhs instead")
Member goto_programt::instructiont::get_dead () const
SINCE(2021, 2, 24, "Use dead_symbol instead")
Member goto_programt::instructiont::get_decl () const
SINCE(2021, 2, 24, "Use decl_symbol instead")
Member goto_programt::instructiont::get_function_call () const
SINCE( 2021, 2, 24, "Use call_function(), call_lhs(), call_arguments() instead")
Member goto_programt::instructiont::get_return () const
SINCE(2021, 2, 24, "Use return_value instead")
Member goto_programt::instructiont::set_assign (code_assignt c)
SINCE(2021, 2, 24, "Use assign_lhs/rhs instead")
Member goto_programt::instructiont::set_dead (code_deadt c)
SINCE(2021, 2, 24, "Use dead_symbol instead")
Member goto_programt::instructiont::set_decl (code_declt c)
SINCE(2021, 2, 24, "Use decl_symbol instead")
Member goto_programt::instructiont::set_function_call (code_function_callt c)
SINCE( 2021, 2, 24, "Use call_function(), call_lhs(), call_arguments() instead")
Member goto_programt::instructiont::set_return (code_returnt c)
SINCE(2021, 2, 24, "Use return_value 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 malloc_object (const exprt &pointer, const namespacet &)
"deprecated since " "2021" "-" "5" "-" "6" "; " "Unnecessary, remove any use"
Member messaget::messaget ()
"deprecated since " "2019" "-" "1" "-" "7" "; " "use messaget(message_handler) instead"
Member string_abstraction (symbol_tablet &, message_handlert &, goto_functionst &)
SINCE(2020, 12, 14, "Use string_abstraction(goto_model, message_handler)")
Member string_abstractiont::operator() (goto_programt &dest)
SINCE(2020, 12, 14, "Use apply(goto_modelt &)")
Member string_abstractiont::operator() (goto_functionst &dest)
SINCE(2020, 12, 14, "Use apply(goto_modelt &)")
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)

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

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)

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

This is Java specific and should be implemented in Java instead

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)

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

should use add_axioms_from_int instead