- Member ait< domainT >::get_state (locationt l)
- "deprecated since " "2019" "-" "08" "-" "01" "; " "use get_state(trace_ptrt p) instead"
- Member ait< domainT >::operator[] (locationt l) const
- "deprecated since " "2019" "-" "08" "-" "01" "; " "use abstract_state_{before,after} 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 location_sensitive_storaget::get_state (locationt l, const ai_domain_factory_baset &fac)
- "deprecated 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 namespace_baset::follow (const typet &) const
- "deprecated since " "2024" "-" "2" "-" "19" "; " "use follow_tag(...) instead"
- Member parsert::parsert ()
- "deprecated since " "2023" "-" "12" "-" "20" "; " "use parsert(message_handler) 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_constantt::get_value () const
- "deprecated since " "2023" "-" "10" "-" "31" "; " "use value()"
- Member string_constantt::set_value (const irep_idt &_value)
- "deprecated since " "2023" "-" "10" "-" "31" "; " "use value(...)"
- 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.
"deprecated 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)
"deprecated since " "2017" "-" "10" "-" "5" "; " "should use substring instead"
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.
"deprecated 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"