Here is a list of all functions with links to the classes they belong to:

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

_

~

- o -

• obj_set_create_indexed_by_object_id_call() : dfcc_libraryt
• obj_set_release_call() : dfcc_libraryt
• object() : address_of_exprt, object_descriptor_exprt
• object2id() : custom_bitvector_domaint
• object_address_exprt() : object_address_exprt
• object_bits_info() : configt
• object_descriptor_exprt() : object_descriptor_exprt
• object_expr() : object_address_exprt
• object_factory_parameterst() : object_factory_parameterst
• object_identifier() : object_address_exprt
• object_idt() : object_idt
• object_literals() : bv_pointers_widet, bv_pointerst
• object_offset_encoding() : bv_pointers_widet, bv_pointerst
• object_size() : axiomst
• object_size_exprt() : object_size_exprt
• object_size_fc() : axiomst
• object_type() : enter_scope_state_exprt, object_address_exprt
• objective() : prop_minimizet
• objectivet() : prop_minimizet::objectivet
• of_expr() : interval_sparse_arrayt
• of_interval() : interval_uniont
• of_string() : interval_uniont
• offset() : byte_extract_exprt, byte_update_exprt, constant_pointer_abstract_objectt, object_descriptor_exprt
• offset_arithmetic() : bv_pointers_widet, bv_pointerst
• offset_entryt() : offset_entryt
• offset_expression() : write_stackt
• offset_from() : constant_pointer_abstract_objectt
• offset_is_zero() : value_set_fit
• offset_literals() : bv_pointers_widet, bv_pointerst
• ok_fc() : axiomst
• old() : update_exprt, with_exprt
• on_insert() : journalling_symbol_tablet
• on_remove() : journalling_symbol_tablet
• on_update() : journalling_symbol_tablet
• one() : ieee_float_valuet
• one_expr() : integer_typet, natural_typet, range_typet, rational_typet, real_typet
• onehot0_exprt() : onehot0_exprt
• onehot_exprt() : onehot_exprt
• op() : byte_extract_exprt, byte_update_exprt, floatbv_round_to_integral_exprt, floatbv_typecast_exprt, replication_exprt, shift_exprt, unary_exprt
• op0() : binary_exprt, codet, expr_protectedt, exprt, multi_ary_exprt, nullary_exprt, overflow_result_exprt, ternary_exprt
• op1() : binary_exprt, codet, expr_protectedt, exprt, multi_ary_exprt, nullary_exprt, overflow_result_exprt, ternary_exprt, unary_exprt
• op2() : binary_exprt, codet, expr_protectedt, exprt, multi_ary_exprt, nullary_exprt, overflow_result_exprt, ternary_exprt, unary_exprt
• op3() : binary_exprt, codet, expr_protectedt, exprt, multi_ary_exprt, nullary_exprt, overflow_result_exprt, ternary_exprt, unary_exprt
• op_add() : floatbv_fma_exprt
• op_multiply_lhs() : floatbv_fma_exprt
• op_multiply_rhs() : floatbv_fma_exprt
• operands() : exprt, nullary_exprt, smt2_parsert
• operands_as_intervals() : interval_evaluator
• operands_as_ranges() : value_set_evaluator
• operator bool() : ctokenitt, small_shared_n_way_ptrt< Ts >, small_shared_ptrt< T >
• operator const symbol_tablet &() : symbol_table_baset
• operator containert() : ranget< iteratort >
• operator iterator_templatet< typename backing_storet::const_iterator, const typename backing_storet::value_type >() : dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >
• operator symbolst::const_iterator() : symbol_table_baset::iteratort
• operator T() : simplify_exprt::resultt< T >
• operator!() : guard_bddt, literalt, mini_bddt, tvt
• operator!=() : bv_arithmetict, c_qualifierst, c_storage_spect, cmdlinet::option_namest::option_names_iteratort, concat_iteratort< first_iteratort, second_iteratort >, const_post_depth_iteratort, constant_exprt, copy_on_writet< T >, ctokenitt, ctokent, dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >, depth_iterator_baset< depth_iterator_t >, dstringt, filter_iteratort< iteratort >, fixedbvt, ieee_float_spect, ieee_float_valuet, index_range_iteratort, irept, java_qualifierst, lispsymbolt, literalt, loop_contract_configt, loop_idt, map_iteratort< iteratort, outputt >, rationalt, small_mapt< T, Ind, Num >::const_iterator, small_mapt< T, Ind, Num >::const_value_iterator, smt_check_sat_response_kindt, smt_commandt, smt_get_value_responset::valuation_pairt, smt_indext, smt_logict, smt_optiont, smt_responset, smt_sortt, smt_termt, symbol_table_baset::iteratort, symbolt, tvt, value_range_iteratort, value_sett::entryt, zip_iteratort< first_iteratort, second_iteratort, same_size >
• operator%=() : bv_arithmetict
• operator&() : mini_bddt
• operator&&() : tvt
• operator()() : abstract_equalert, abstract_eventt, abstract_hashert, ai_baset, ai_history_baset::compare_historyt, all_properties_verifier_with_fault_localizationt< incremental_goto_checkerT >, all_properties_verifier_with_trace_storaget< incremental_goto_checkerT >, all_properties_verifiert< incremental_goto_checkerT >, assert_criteriont, boolbv_widtht, bv_minimizet, c_definest, c_test_input_generatort, call_checkt< Base, T >, call_validate_fullt< Base, T >, call_validatet< Base, T >, can_forward_propagatet, cfg_baset< T, P, I >, cfg_dominators_templatet< P, T, post_dom >, cfg_instruction_to_dense_integert< T >, cfg_instruction_to_dense_integert< goto_programt::const_targett >, change_impactt, check_call_sequencet, check_call_sequencet::state_hash, ci_lazy_methodst, class_hierarchyt, compare_base_name_and_descriptort, concurrency_instrumentationt, const_expr_visitort, const_target_hash, constants_evaluator, constructor_oft< constructedt >, counterexample_beautificationt, cover_goals_verifier_with_trace_storaget< incremental_goto_checkerT >, cover_goalst, cover_instrumenter_baset, cover_instrumenterst, cscannert, data_dependency_contextt::location_ordert, decision_proceduret, dfcc_instrument_loopt, dirtyt, djb_manglert, does_remove_constt, dstring_hash, dump_ct, event_grapht::critical_cyclet, expr_initializert, expr_visitort, file_filtert, file_name_manglert, find_is_fresh_calls_visitort, float_bvt, flow_insensitive_analysis_baset, format_constantt, freert, frequency_mapt, full_array_abstract_objectt::mp_integer_hasht, full_slicert, function_assignst, function_binding_visitort, function_filter_baset, function_filterst, function_itt_hasht, function_loc_pair_hasht, functions_in_scope_visitort, goal_filter_baset, goal_filterst, goto_difft, goto_program2codet, goto_programt::instructiont::target_less_than, goto_symex_fault_localizert, goto_unwindt, goto_verifiert, graphml_witnesst, graphml_witnesst::pair_hash< S, T >, help_formattert, identity_functort, in_function_criteriont, include_pattern_filtert, incremental_dirtyt, incremental_goto_checkert, insert_final_assert_falset, internal_functions_filtert, internal_goals_filtert, interpretert, interval_evaluator, irep_full_eq, irep_full_hash, irep_hash, irep_hash_container_baset::pointer_hasht, irep_hash_container_baset::vector_hasht, is_compile_time_constantt, is_predecessor_oft, is_threadedt, jar_poolt, java_bytecode_convert_classt, java_bytecode_convert_methodt::method_with_amapt::target_less_than, java_bytecode_convert_methodt, java_bytecode_instrumentt, java_class_loadert, java_syntactic_difft, letifyt, lexical_loops_templatet< P, T, C >, local_may_alias_factoryt, local_safe_pointerst, local_safe_pointerst::type_comparet, location_number_less_thant, memory_model_baset, memory_model_psot, memory_model_sct, memory_model_tsot, merge_full_irept, merge_irept, merged_irep_hash, merged_irepst, mini_bdd_applyt, multi_path_symex_checkert, multi_path_symex_only_checkert, natural_loops_templatet< P, T, C >, nondet_volatilet, numeric_castt< mp_integer >, numeric_castt< T, typename std::enable_if< std::is_integral< T >::value >::type >, parameter_assignmentst, Parser, pointee_address_equalt, points_tot, prefix_filtert, printf_formattert, procedure_local_cfg_baset< T, java_bytecode_convert_methodt::method_with_amapt, java_bytecode_convert_methodt::method_offsett >, prop_minimizet, properties_criteriont, reachability_slicert, remove_asmt, remove_calls_no_bodyt, remove_const_function_pointerst, remove_exceptionst, remove_function_pointerst, remove_returnst, remove_virtual_functionst, rename_symbolt, replace_callst, replace_symbolt, resolve_inherited_componentt, restrictt, safety_checkert, sese_region_analysist, shared_bufferst, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::falset, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::noop_value_comparatort, sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::real_value_comparatort, show_goto_functions_jsont, show_goto_functions_xmlt, single_function_filtert, single_loop_incremental_symex_checkert, single_path_symex_checkert, single_path_symex_only_checkert, slicing_criteriont, smt2_incremental_decision_proceduret::sequencet, smt2irept, smt_function_application_termt::factoryt< functiont >, solver_progresst, state_encodingt, std::hash< dstringt >, std::hash< solver_hardnesst::hardness_ssa_keyt >, std::hash< string_not_contains_constraintt >, std::hash<::symbol_exprt >, stop_on_fail_verifier_with_fault_localizationt< incremental_goto_checkerT >, stop_on_fail_verifiert< incremental_goto_checkerT >, string_dependenciest::node_hash, string_hash, string_instrumentationt, string_ptr_hash, symbol_generatort, symex_level1t, symex_level2t, symex_nondet_generatort, syntactic_difft, taint_analysist, temp_dirt, temporary_filet, to_be_merged_irep_hash, trivial_functions_filtert, uncaught_exceptions_analysist, uncaught_exceptions_domaint, unified_difft, value_set_evaluator, variable_sensitivity_dependence_domaint::dependency_ordert
• operator*() : cmdlinet::option_namest::option_names_iteratort, concat_iteratort< first_iteratort, second_iteratort >, const_post_depth_iteratort, ctokenitt, dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >, depth_iterator_baset< depth_iterator_t >, filter_iteratort< iteratort >, index_range_iteratort, map_iteratort< iteratort, outputt >, range_spect, small_mapt< T, Ind, Num >::const_iterator, small_mapt< T, Ind, Num >::const_value_iterator, small_shared_ptrt< T >, symbol_table_baset::iteratort, value_range_iteratort, zip_iteratort< first_iteratort, second_iteratort, same_size >
• operator*=() : bv_arithmetict, fixedbvt, ieee_floatt, rationalt
• operator+() : memory_sizet, range_spect
• operator++() : cmdlinet::option_namest::option_names_iteratort, concat_iteratort< first_iteratort, second_iteratort >, const_post_depth_iteratort, ctokenitt, dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >, depth_iterator_baset< depth_iterator_t >, filter_iteratort< iteratort >, index_range_iteratort, map_iteratort< iteratort, outputt >, small_mapt< T, Ind, Num >::const_iterator, small_mapt< T, Ind, Num >::const_value_iterator, symbol_table_baset::iteratort, value_range_iteratort, zip_iteratort< first_iteratort, second_iteratort, same_size >
• operator+=() : bv_arithmetict, c_qualifierst, ctokenitt, fixedbvt, ieee_floatt, java_qualifierst, memory_sizet, range_spect, rationalt, rw_set_baset, solver_hardnesst::sat_hardnesst
• operator-() : range_spect, rationalt
• operator-=() : bv_arithmetict, fixedbvt, ieee_floatt, range_spect, rationalt
• operator->() : concat_iteratort< first_iteratort, second_iteratort >, const_post_depth_iteratort, ctokenitt, dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >, depth_iterator_baset< depth_iterator_t >, filter_iteratort< iteratort >, map_iteratort< iteratort, outputt >, small_mapt< T, Ind, Num >::const_iterator, small_mapt< T, Ind, Num >::const_value_iterator, small_shared_ptrt< T >, symbol_table_baset::iteratort, zip_iteratort< first_iteratort, second_iteratort, same_size >
• operator/=() : bv_arithmetict, fixedbvt, ieee_floatt, rationalt
• operator<() : abstract_eventt, ahistoricalt, ai_history_baset, bv_arithmetict, call_stack_historyt::call_stack_entryt, call_stack_historyt, copy_on_writet< T >, cpp_typecheck_resolvet::matcht, datat, dstringt, event_grapht::critical_cyclet::delayt, event_grapht::critical_cyclet, fixedbvt, gdb_apit::memory_addresst, ieee_float_valuet, irept, labelt, literalt, local_control_flow_decisiont, local_control_flow_historyt< track_forward_jumps, track_backward_jumps >, loop_idt, merged_irept, mini_bdd_mgrt::reverse_keyt, object_idt, range_spect, rationalt, recursive_initializationt::constructor_keyt
• operator<<() : bv_arithmetict, dstringt, messaget::mstreamt
• operator<=() : bv_arithmetict, copy_on_writet< T >, dstringt, fixedbvt, ieee_float_valuet, range_spect, rationalt
• operator=() : bddt, c_qualifierst, class_hierarchyt, cmdlinet::option_namest::option_names_iteratort, copy_on_write_pointeet< Num >, copy_on_writet< T >, depth_iterator_baset< depth_iterator_t >, dstringt, enumerator_baset, generic_parameter_specialization_map_keyst, goto_functionst, goto_functiont, goto_modelt, goto_programt, goto_statet, guard_bddt, guard_exprt, jar_filet, java_bytecode_parse_treet::classt, java_bytecode_parse_treet, java_qualifierst, lazy_goto_modelt, linked_loop_analysist< T, C >, memory_sizet, messaget::mstreamt, messaget, mini_bddt, mz_zip_archive_statet, mz_zip_archivet, optionst, piped_processt, range_domain_baset, recursion_set_entryt, reference_counting< T, empty >, sharing_treet< derivedt, named_subtreest >, small_shared_n_way_pointee_baset< N, Num >, small_shared_n_way_ptrt< Ts >, small_shared_pointeet< Num >, small_shared_ptrt< T >, solver_hardnesst, string_dependenciest::builtin_function_nodet, symbol_table_baset, symbol_table_buildert, symbol_tablet, symex_targett::sourcet, value_sett, verification_resultt
• operator==() : abstract_eventt, abstract_object_sett, ahistoricalt, ai_history_baset, bv_arithmetict, bv_spect, c_qualifierst, c_storage_spect, call_stack_historyt::call_stack_entryt, call_stack_historyt, check_call_sequencet::call_stack_entryt, check_call_sequencet::statet, cmdlinet::option_namest::option_names_iteratort, concat_iteratort< first_iteratort, second_iteratort >, const_post_depth_iteratort, constant_exprt, copy_on_writet< T >, ctokent, datat, dense_integer_mapt< K, V, KeyToDenseInteger >::iterator_templatet< UnderlyingIterator, UnderlyingValue >, depth_iterator_baset< depth_iterator_t >, dstringt, event_grapht::critical_cyclet::delayt, filter_iteratort< iteratort >, fixedbvt, function_loc_pairt, ieee_float_spect, ieee_float_valuet, index_range_iteratort, irept, java_qualifierst, lispsymbolt, literalt, local_control_flow_decisiont, local_control_flow_historyt< track_forward_jumps, track_backward_jumps >, loop_contract_configt, loop_idt, map_iteratort< iteratort, outputt >, merged_irept, mini_bddt, patternt, qdimacs_cnft, qdimacs_cnft::quantifiert, range_spect, rationalt, recursive_initializationt::constructor_keyt, small_mapt< T, Ind, Num >::const_iterator, small_mapt< T, Ind, Num >::const_value_iterator, smt_check_sat_response_kindt, smt_commandt, smt_get_value_responset::valuation_pairt, smt_indext, smt_logict, smt_optiont, smt_responset, smt_sortt, smt_termt, solver_hardnesst::hardness_ssa_keyt, string_dependenciest::nodet, string_ptrt, symbol_table_baset::iteratort, symbol_tablet, symbolt, to_be_merged_irept, tvt, value_range_iteratort, value_sett::entryt, zip_iteratort< first_iteratort, second_iteratort, same_size >
• operator>() : bv_arithmetict, copy_on_writet< T >, dstringt, fixedbvt, ieee_float_valuet, range_spect, rationalt
• operator>=() : bv_arithmetict, copy_on_writet< T >, dstringt, fixedbvt, ieee_float_valuet, range_spect, rationalt
• operator[]() : ait< domainT >, array_string_exprt, cfg_baset< T, P, I >::entry_mapt, dense_integer_mapt< K, V, KeyToDenseInteger >, designatort, dstringt, event_grapht, expanding_vectort< T >, expr_queryt< T >, forward_list_as_mapt< keyt, mappedt >, function_indicest, goto_trace_storaget, grapht< N >, inv_object_storet, irep_hash_mapt< Key, T >, json_objectt, json_stream_objectt, jsont, numberingt< keyt, hasht >, points_tot, small_mapt< T, Ind, Num >, sparse_vectort< T >, string_containert, union_find< T, hasht >, value_set_fit::object_map_dt, variable_sensitivity_dependence_grapht
• operator^() : literalt, mini_bddt
• operator^=() : literalt
• operator_is_overloaded() : cpp_typecheckt
• operator_overloading_rules() : cpp_declarator_convertert
• operator|() : local_bitvector_analysist::flagst, mini_bddt
• operator|=() : c_storage_spect, cpp_storage_spect
• operator||() : tvt
• optAlignas() : Parser
• optAttribute() : Parser
• optCvQualify() : Parser
• optimize_guarded_gotos() : goto_convertt
• optIntegralTypeOrClassSpec() : Parser
• option() : smt_set_option_commandt
• option_names() : cmdlinet
• option_names_iteratort() : cmdlinet::option_namest::option_names_iteratort
• option_namest() : cmdlinet::option_namest
• option_to_abstract_type() : vsd_configt
• option_to_size() : vsd_configt
• optionst() : optionst
• optiont() : cmdlinet::optiont
• optMemberSpec() : Parser
• optPtrOperator() : Parser
• optStorageSpec() : Parser
• optThrowDecl() : Parser
• or_exprt() : or_exprt
• orange() : consolet
• order() : forward_list_as_mapt< keyt, mappedt >
• order_const_target() : goto_programt::instructiont::target_less_than
• order_filtering() : event_grapht::graph_explorert
• ordering() : irept
• os_to_string() : configt::ansi_ct
• osx_fat_readert() : osx_fat_readert
• osx_mach_o_readert() : osx_mach_o_readert
• out() : consolet, grapht< N >
• out_state_expr() : state_encodingt
• output() : abstract_environmentt, abstract_object_sett, abstract_objectt, ahistoricalt, ai_baset, ai_domain_baset, ai_history_baset, ansi_c_declarationt, ansi_c_parse_treet, automatont, call_grapht, call_stack_historyt, cfg_dominators_templatet< P, T, post_dom >, class_hierarchyt, constant_abstract_valuet, constant_pointer_abstract_objectt, constant_propagator_domaint, constant_propagator_domaint::valuest, context_abstract_objectt, cover_basic_blocks_javat, cover_basic_blockst, cover_blocks_baset, cpp_declarationt, cpp_declaratort, cpp_namespace_spect, ctokent, custom_bitvector_domaint, data_dependency_contextt, dep_graph_domaint, dfcc_cfg_infot, dfcc_loop_infot, dirtyt, dott, endianness_mapt, escape_domaint, flow_insensitive_abstract_domain_baset, flow_insensitive_analysis_baset, full_array_abstract_objectt, full_struct_abstract_objectt, global_may_alias_domaint, goto_programt::instructiont, goto_programt, goto_trace_stept, goto_tracet, guarded_range_domaint, interval_abstract_valuet, interval_domaint, inv_object_storet, invariant_set_domaint, invariant_sett, java_bytecode_parse_treet::annotationt::element_value_pairt, java_bytecode_parse_treet::annotationt, java_bytecode_parse_treet::classt, java_bytecode_parse_treet::fieldt, java_bytecode_parse_treet::methodt, java_bytecode_parse_treet, jsont, lexical_loops_templatet< P, T, C >, liveness_contextt, local_bitvector_analysist, local_control_flow_historyt< track_forward_jumps, track_backward_jumps >, local_may_aliast, local_safe_pointerst, localst, loop_analysist< T, C >, optionst, path_nodet, points_tot, range_domain_baset, range_domaint, rd_range_domaint, rw_range_sett, rw_set_baset, sese_region_analysist, SSA_stept, symex_target_equationt, symex_targett, taint_parse_treet, taint_parse_treet::rulet, uncaught_exceptions_analysist, unified_difft, uninitialized_domaint, value_set_abstract_objectt, value_set_domain_fit, value_set_domain_templatet< VST >, value_set_fit, value_set_pointer_abstract_objectt, value_sett, variable_sensitivity_dependence_domaint, variable_sensitivity_domaint, write_location_contextt, xmlt
• output_cache() : goto_inlinet
• output_change_impact() : change_impactt
• output_child_stream() : json_stream_arrayt, json_stream_objectt, json_streamt
• output_coverage_report() : symex_bmct
• output_delimiter() : json_streamt
• output_diff() : unified_difft
• output_dot() : call_grapht, class_hierarchyt, grapht< N >, scope_treet, string_dependenciest
• output_error_witness() : multi_path_symex_checkert, single_loop_incremental_symex_checkert, single_path_symex_checkert, witness_providert
• output_filet() : output_filet
• output_finalizer() : json_stream_arrayt, json_stream_objectt, json_streamt
• output_fmt() : symex_target_equationt, symex_targett
• output_function() : goto_difft
• output_function_group() : goto_difft
• output_functions() : goto_difft
• output_inline_log_json() : goto_inlinet::goto_inline_logt, goto_inlinet
• output_inline_map() : goto_inlinet
• output_instruction() : change_impactt
• output_json() : ai_baset, ai_domain_baset, ai_history_baset, dep_graph_domaint, static_verifier_resultt, variable_sensitivity_dependence_domaint
• output_key() : jsont
• output_last_written_locations() : write_location_contextt
• output_log_json() : goto_unwindt, goto_unwindt::unwind_logt
• output_object() : jsont
• output_plain_text() : test_inputst
• output_proof() : multi_path_symex_checkert, single_loop_incremental_symex_checkert, single_path_symex_checkert, witness_providert
• output_propagation_map() : goto_statet
• output_rec() : jsont
• output_report() : symex_coveraget
• output_safe_dereferences() : local_safe_pointerst
• output_xml() : ai_baset, ai_domain_baset, ai_history_baset, call_grapht, static_verifier_resultt, value_set_domain_templatet< VST >, value_sett
• outputs() : code_asm_gcct
• overapproximating_left_shift() : float_approximationt
• overflow_add() : bv_utilst
• overflow_expr() : overflow_instrumentert
• overflow_instrumentert() : overflow_instrumentert
• overflow_negate() : bv_utilst
• overflow_result_exprt() : overflow_result_exprt
• overflow_sub() : bv_utilst
• overloadable() : cpp_typecheckt