- 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.
- 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
- 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
- Member string_constraint_generatort::add_axioms_for_is_suffix (const function_application_exprt &f, bool swap_arguments)
SINCE(2018, 6, 6, "should use strings_startwith")
Should use strings_startwith(s0, s1, s1.length - s0.length)
.
- 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_copy (const function_application_exprt &f)
SINCE(2017, 10, 5, "should use substring instead")
should use substring instead
- Member string_constraint_generatort::add_axioms_for_offset_by_code_point (const function_application_exprt &f)
- 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")
- Member string_constraint_generatort::add_axioms_for_code_point_count (const function_application_exprt &f)
SINCE(2017, 10, 5, "Java specific, should be implemented in Java")
This is Java specific and should be implemented in Java.
- Member string_constraint_generatort::add_axioms_for_concat_code_point (const function_application_exprt &f)
- java specific
- 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 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_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_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_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 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 java_is_array_type (const typet &type)
- SINCE(2019, 6, 10, "use is_java_array_type instead")
- Member code_typet::parametert::parametert ()
- "deprecated since " "2018" "-" "9" "-" "21" "; " "use parametert(type) 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 messaget::messaget ()
- "deprecated since " "2019" "-" "1" "-" "7" "; " "use messaget(message_handler) instead"
- 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 find_symbols (const exprt &src, std::set< exprt > &dest)
- "deprecated since " "2019" "-" "06" "-" "17" "; " "Unused"
- Member exprt::make_bool (bool value)
- "deprecated since " "2019" "-" "5" "-" "28" "; " "use make_boolean_expr(value) 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 value_sett::output (const namespacet &ns, std::ostream &out, const std::string &indent="") const
- SINCE(2019, 06, 11, "Use the version without ns argument")
- Member exprt::move_to_operands (exprt &expr)
- "deprecated since " "2018" "-" "10" "-" "1" "; " "use add_to_operands(std::move(expr)) instead"
- Member exprt::make_bool (bool value)
- use constructors instead
- Member byte_update_exprt::value ()
- "deprecated since " "2019" "-" "5" "-" "21" "; " "use set_value or as_const 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 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"
- Member string_constraint_generatort::add_axioms_from_int_hex (const array_string_exprt &res, const exprt &i)
SINCE(2017, 10, 5, "use add_axioms_for_string_of_int_with_radix")
use add_axioms_from_int_with_radix instead
- Member goto_programt::instructiont::make_return ()
- SINCE(2019, 2, 13, "use goto_programt::make_return() instead")
- Member goto_programt::instructiont::make_dead ()
- SINCE(2019, 2, 13, "use goto_programt::make_dead() instead")
- Member goto_programt::instructiont::make_decl ()
- SINCE(2019, 2, 13, "use goto_programt::make_decl() 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_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_assertion (const exprt &g)
- SINCE(2019, 2, 13, "use goto_programt::make_assertion() instead")
- Member goto_programt::instructiont::make_catch ()
- SINCE(2019, 2, 13, "use goto_programt::make_catch() instead")
- Member goto_programt::instructiont::make_throw ()
- SINCE(2019, 2, 13, "use goto_programt::make_throw() 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_skip ()
- SINCE(2019, 2, 13, "use goto_programt::make_skip() instead")
- Member goto_programt::instructiont::make_atomic_begin ()
- SINCE(2019, 2, 13, "use goto_programt::make_atomic_begin() instead")
- Member goto_functiont::make_hidden ()
- "deprecated since " "2019" "-" "2" "-" "16" "; " "Get the type from the symbol table instead"
- Member goto_functiont::is_hidden () const
- "deprecated since " "2019" "-" "2" "-" "16" "; " "Get the type from the symbol table instead"
- Member goto_functiont::is_inlined () const
- "deprecated since " "2019" "-" "2" "-" "16" "; " "Get the type from the symbol table instead"
- Member goto_functiont::type
- "deprecated since " "2019" "-" "2" "-" "16" "; " "Get the type from the symbol table 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 unwindsett::parse_unwindset (const std::string &unwindset)
- SINCE(2019, 11, 15, "use parse_unwindset(list) 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 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 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 value_sett::get (const irep_idt &identifier, const std::string &suffix)
- SINCE(2019, 05, 22, "Unimplemented")
- 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::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::offset_is_zero (const offsett &offset) const
- SINCE(2019, 05, 22, "Unused")
- 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 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 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 get_variables (const symex_renaming_levelt ¤t_names, std::unordered_set< ssa_exprt, irep_hash > &vars)
- SINCE(2019, 6, 5, "Unused")
- Member ait< domainT >::operator[] (locationt l) const
- SINCE(2019, 08, 01, "use abstract_state_{before,after} instead")
- Member interpretert::get_component (const irep_idt &object, const mp_integer &offset)
- "use the object_type version 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_decl (const code_declt &_code)
- SINCE(2019, 2, 13, "use goto_programt::make_decl() 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_goto (targett _target, const exprt &g)
- SINCE(2019, 2, 13, "use goto_programt::make_goto() instead")
- Member goto_programt::instructiont::make_goto (targett _target)
- 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_end_function ()
- SINCE(2019, 2, 13, "use goto_programt::make_end_function() instead")
- Member goto_programt::instructiont::make_atomic_end ()
- SINCE(2019, 2, 13, "use goto_programt::make_atomic_end() instead")