cprover
Deprecated List
Member add_axioms_for_code_point_count (symbol_generatort &fresh_symbol, const function_application_exprt &f, array_poolt &array_pool)

This is Java specific and should be implemented in Java.

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

Member add_axioms_for_concat (symbol_generatort &fresh_symbol, const array_string_exprt &res, const array_string_exprt &s1, const array_string_exprt &s2, array_poolt &array_pool)
should use concat_substr instead
Member add_axioms_for_concat_code_point (symbol_generatort &fresh_symbol, const function_application_exprt &f, array_poolt &array_pool)
java specific
Member add_axioms_for_copy (symbol_generatort &fresh_symbol, const function_application_exprt &f, array_poolt &array_pool)

should use substring instead

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

Member add_axioms_for_insert_bool (symbol_generatort &fresh_symbol, const function_application_exprt &f, array_poolt &array_pool)

should convert the value to string and call insert

SINCE(2017, 10, 5, "convert the value to string and call insert")

Member add_axioms_for_insert_double (symbol_generatort &fresh_symbol, const function_application_exprt &f, array_poolt &array_pool, const namespacet &ns)

should convert the value to string and call insert

SINCE(2017, 10, 5, "convert the value to string and call insert")

Member add_axioms_for_insert_float (symbol_generatort &fresh_symbol, const function_application_exprt &f, array_poolt &array_pool, const namespacet &ns)

should convert the value to string and call insert

SINCE(2017, 10, 5, "convert the value to string and call insert")

Member add_axioms_for_insert_int (symbol_generatort &fresh_symbol, const function_application_exprt &f, array_poolt &array_pool, const namespacet &ns)

should convert the value to string and call insert

SINCE(2017, 10, 5, "convert the value to string and call insert")

Member add_axioms_for_is_empty (symbol_generatort &fresh_symbol, const function_application_exprt &f, array_poolt &array_pool)

should use string_length(s)==0 instead

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

Member add_axioms_for_is_suffix (symbol_generatort &fresh_symbol, const function_application_exprt &f, bool swap_arguments, array_poolt &array_pool)

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

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

Member add_axioms_for_offset_by_code_point (symbol_generatort &fresh_symbol, 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 add_axioms_from_bool (const function_application_exprt &f, array_poolt &array_pool)

This is Java specific and should be implemented in Java instead

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

Member add_axioms_from_bool (const array_string_exprt &res, const exprt &b, array_poolt &array_pool)

This is Java specific and should be implemented in Java instead

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

Member add_axioms_from_int_hex (const array_string_exprt &res, const exprt &i, array_poolt &array_pool)

use add_axioms_from_int_with_radix instead

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

Member add_axioms_from_long (const function_application_exprt &f, array_poolt &array_pool, const namespacet &ns)

should use add_axioms_from_int instead

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

Member and_exprt::and_exprt ()
"deprecated since " "2019" "-" "1" "-" "12" "; " "use and_exprt(op, op) instead"
Member array_exprt::array_exprt (const array_typet &_type)
"deprecated since " "2019" "-" "1" "-" "12" "; " "use array_exprt(operands, type) instead"
Member array_list_exprt::array_list_exprt (const array_typet &_type)
"deprecated since " "2019" "-" "1" "-" "12" "; " "use array_list_exprt(operands, type) 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 binary_exprt::binary_exprt (const irep_idt &_id)
"deprecated since " "2018" "-" "9" "-" "21" "; " "use binary_exprt(lhs, id, rhs) instead"
Member binary_exprt::binary_exprt (const irep_idt &_id, const typet &_type)
"deprecated since " "2018" "-" "12" "-" "2" "; " "use binary_exprt(lhs, id, rhs, type) instead"
Member binary_predicate_exprt::binary_predicate_exprt ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use binary_predicate_exprt(lhs, id, rhs) instead"
Member binary_predicate_exprt::binary_predicate_exprt (const irep_idt &_id)
"deprecated since " "2018" "-" "12" "-" "2" "; " "use binary_predicate_exprt(lhs, id, rhs) instead"
Member binary_relation_exprt::binary_relation_exprt ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use binary_relation_exprt(lhs, id, rhs) instead"
Member binary_relation_exprt::binary_relation_exprt (const irep_idt &id)
"deprecated since " "2018" "-" "12" "-" "2" "; " "use binary_relation_exprt(lhs, id, rhs) instead"
Member byte_extract_exprt::byte_extract_exprt (irep_idt _id)
"deprecated since " "2019" "-" "1" "-" "12" "; " "use byte_extract_exprt(id, op, offset, type) instead"
Member byte_extract_exprt::byte_extract_exprt (irep_idt _id, const typet &_type)
"deprecated since " "2019" "-" "1" "-" "12" "; " "use byte_extract_exprt(id, op, offset, type) 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_fort::code_fort ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use code_fort(init, cond, iter, body) instead"
Member code_ifthenelset::code_ifthenelset ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use code_ifthenelset(condition, then_code[, else_code]) instead"
Member code_labelt::code_labelt (const irep_idt &_label)
"deprecated since " "2019" "-" "2" "-" "6" "; " "use code_labelt(label, _code) instead"
Member code_try_catcht::code_try_catcht ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use code_try_catcht(try_code) instead"
Member code_typet::parametert::parametert ()
"deprecated since " "2018" "-" "9" "-" "21" "; " "use parametert(type) instead"
Member codet::make_block ()
"deprecated since " "2019" "-" "2" "-" "6" "; " "use code_blockt(...) instead"
Member complex_typet::complex_typet ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use complex_typet(type) instead"
Member cond_exprt::cond_exprt (const typet &_type)
"deprecated since " "2019" "-" "1" "-" "12" "; " "use cond_exprt(operands, 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 dynamic_object_exprt::dynamic_object_exprt ()
"deprecated since " "2019" "-" "2" "-" "11" "; " "use dynamic_object_exprt(type) instead"
Member exprt::make_bool (bool value)

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

use constructors instead

Member exprt::make_typecast (const typet &_type)

"deprecated since " "2019" "-" "1" "-" "19" "; " "use typecast_exprt() 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 ()
SINCE(2019, 2, 13, "use goto_programt::make_assignment() 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_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 ()
SINCE(2019, 2, 13, "use goto_programt::make_decl() 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_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 ieee_float_equal_exprt::ieee_float_equal_exprt ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use ieee_float_equal_exprt(lhs, rhs) instead"
Member ieee_float_notequal_exprt::ieee_float_notequal_exprt ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use ieee_float_notequal_exprt(lhs, rhs) instead"
Member interpretert::get_component (const irep_idt &object, const mp_integer &offset)
"use the object_type version instead"
Member isfinite_exprt::isfinite_exprt ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use isfinite_exprt(op) instead"
Member isinf_exprt::isinf_exprt ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use isinf_exprt(op) instead"
Member isnan_exprt::isnan_exprt ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use isnan_exprt(op) instead"
Member isnormal_exprt::isnormal_exprt ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use isnormal_exprt(op) 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 messaget::messaget ()
"deprecated since " "2019" "-" "1" "-" "7" "; " "use messaget(message_handler) instead"
Member multi_ary_exprt::multi_ary_exprt (const irep_idt &_id)
"deprecated since " "2018" "-" "9" "-" "21" "; " "use multi_ary_exprt(id, op, type) instead"
Member multi_ary_exprt::multi_ary_exprt (const irep_idt &_id, const typet &_type)
"deprecated since " "2018" "-" "12" "-" "7" "; " "use multi_ary_exprt(id, op, type) instead"
Member not_exprt::not_exprt ()
"deprecated since " "2019" "-" "1" "-" "12" "; " "use not_exprt(op) instead"
Member or_exprt::or_exprt ()
"deprecated since " "2019" "-" "1" "-" "12" "; " "use or_exprt(op, op) instead"
Member plus_exprt::plus_exprt (const typet &type)
"deprecated since " "2019" "-" "1" "-" "12" "; " "use plus_exprt(lhs, rhs, type) instead"
Member predicate_exprt::predicate_exprt ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use predicate_exprt(id) instead"
Member predicate_exprt::predicate_exprt (const irep_idt &_id, const exprt &_op)
"deprecated since " "2018" "-" "12" "-" "2" "; " "use unary_predicate_exprt(id, op) instead"
Member predicate_exprt::predicate_exprt (const irep_idt &_id, const exprt &_op0, const exprt &_op1)
"deprecated since " "2018" "-" "12" "-" "2" "; " "use binary_predicate_exprt(op1, id, op2) instead"
Member refined_string_exprt::refined_string_exprt ()
"deprecated since " "2019" "-" "1" "-" "12" "; " "use refined_string_exprt(length, content, 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_expr_nondett::side_effect_expr_nondett (const typet &_type)
"deprecated since " "2018" "-" "8" "-" "9" "; " "use side_effect_expr_nondett(statement, 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 sign_exprt::sign_exprt ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use sign_exprt(op) instead"
Member ssa_exprt::update_identifier ()
"deprecated since " "2019" "-" "05" "-" "29" "; " "Should only be used internally"
Member struct_exprt::struct_exprt (const typet &_type)
"deprecated since " "2019" "-" "1" "-" "12" "; " "use struct_exprt(component_name, value, type) instead"
Member struct_exprt::struct_exprt ()
"deprecated since " "2018" "-" "9" "-" "21" "; " "use struct_exprt(component_name, value, type) 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 ternary_exprt::ternary_exprt (const irep_idt &_id)
"deprecated since " "2018" "-" "9" "-" "21" "; " "use ternary_exprt(id, op0, op1, op2, type) instead"
Member transt::transt ()
"deprecated since " "2019" "-" "1" "-" "12" "; " "use transt(op0, op1, op2) instead"
Member type_with_subtypest::type_with_subtypest ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use type_with_subtypest(id, subtypes) instead"
Member type_with_subtypest::type_with_subtypest (const irep_idt &_id)
"deprecated since " "2018" "-" "12" "-" "2" "; " "use type_with_subtypest(id, subtypes) instead"
Member type_with_subtypet::type_with_subtypet (const irep_idt &_id)
"deprecated since " "2018" "-" "12" "-" "2" "; " "use type_with_subtypet(id, subtype) instead"
Member unary_exprt::unary_exprt (const irep_idt &_id, const typet &_type)
"deprecated since " "2018" "-" "12" "-" "2" "; " "use unary_exprt(id, op, type) instead"
Member unary_predicate_exprt::unary_predicate_exprt ()
"deprecated since " "2018" "-" "12" "-" "2" "; " "use unary_predicate_exprt(id, op) instead"
Member unary_predicate_exprt::unary_predicate_exprt (const irep_idt &_id)
"deprecated since " "2018" "-" "12" "-" "2" "; " "use unary_predicate_exprt(id, op) 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, value_setst::valuest &dest, const namespacet &ns) const
SINCE(2019, 05, 22, "Use get_value_set(exprt, const namespacet &) 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 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")
Member vector_exprt::vector_exprt (const vector_typet &_type)
"deprecated since " "2019" "-" "1" "-" "12" "; " "use vector_exprt(operands, type) instead"
Member xor_exprt::xor_exprt ()
"deprecated since " "2019" "-" "1" "-" "12" "; " "use xor_exprt(op, op) instead"