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")

This expression is SMV-specific and has no other use.

class_hierarchy_grapht is a more advanced graph-based representation of the class hierarchy and its use is preferred over class_hierarchy_classt.

Member exprt::is_false () const

"deprecated since " "2025" "-" "7" "-" "5" "; " "use expr == false instead"

Member exprt::is_one () const

"deprecated since " "2025" "-" "7" "-" "5" "; " "use expr == 1 instead"

Member exprt::is_true () const

"deprecated since " "2025" "-" "7" "-" "5" "; " "use expr == true instead"

Member exprt::is_zero () const

"deprecated since " "2025" "-" "7" "-" "5" "; " "use expr == 0 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 make_and (exprt a, exprt b)

"deprecated since " "2025" "-" "6" "-" "25" "; " "use conjunction(exprt, exprt) instead"

Member source_locationt::get_function () const

"deprecated since " "2022" "-" "10" "-" "13" "; " "use identifier of containing function"

Member source_locationt::set_function (const irep_idt &function)

"deprecated since " "2022" "-" "10" "-" "13" "; " "use identifier of containing function"

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

"deprecated 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

"deprecated 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).

"deprecated 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

"deprecated 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

"deprecated 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

"deprecated since " "2017" "-" "10" "-" "5" "; " "use add_axioms_for_string_of_int instead"