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

- a -

• abstract_domain_baset() : abstract_domain_baset
• abstract_state_after() : ai_baset
• abstract_state_before() : ai_baset, ait< domainT >
• access() : irept
• acquire() : threading.Lock, threading_deadlock.Lock
• add() : contextt, guard2tc, irept, preprocessor.path_dependent_attributes._Uses
• add_array_constraints_for_solving() : array_convt, array_iface
• add_array_equalities() : array_convt
• add_array_equality() : array_convt
• add_auxiliary_members() : solidity_convertert
• add_bundled() : file_operations::filesystemt
• add_class() : global_scope, module
• add_cond_cov_assert() : goto_coveraget
• add_constraint() : andersent
• add_contractor() : Contractors
• add_copy_edge() : andersent
• add_decl() : scope_walker
• add_empty_body_node() : solidity_convertert
• add_enum_member_val() : solidity_convertert
• add_exit_code() : clang_c_maint
• add_expr() : exprt
• add_extra_subscript_inference_source() : python_annotation< Json >
• add_function() : module
• add_goal() : k_path_spanning_sett
• add_guarded_claim() : goto_checkt
• add_implicit_constructor() : solidity_convertert
• add_inherit_label() : solidity_convertert
• add_initial_ackerman_constraints() : array_convt
• add_initialization() : w_guardst
• add_instruction() : goto_programt, python_converter
• add_intrinsics() : jimple_languaget
• add_loop_assigns_target() : goto_programt::instructiont
• add_loop_invariant() : goto_programt::instructiont
• add_loop_var() : goto_loopst
• add_member() : preprocessor.function_value_types._Analysis
• add_memory_leak_checks() : goto_symext
• add_modified_var() : goto_loopst
• add_modified_var_to_loop() : loopst
• add_monitor_exprs() : esbmc_parseoptionst
• add_new_indexes() : array_convt
• add_object() : pointer_logict
• add_offset() : solidity_convertert
• add_overload() : module
• add_pointer_array_write_ptr() : loopst
• add_property_monitors() : esbmc_parseoptionst
• add_reentry_check() : solidity_convertert
• add_return() : goto_convert_functionst
• add_source() : module
• add_static_contract_instance() : solidity_convertert
• add_step() : ts_enginet
• add_submodule() : module
• add_symbol() : python_converter
• add_symbol_and_get_ptr() : python_converter
• add_template_param_object() : clang_c_convertert
• add_thread() : execution_statet
• add_thunk_component_to_type() : clang_cpp_convertert
• add_thunk_method() : clang_cpp_convertert
• add_thunk_method_arguments() : clang_cpp_convertert
• add_thunk_method_body() : clang_cpp_convertert
• add_thunk_method_body_no_return() : clang_cpp_convertert
• add_thunk_method_body_return() : clang_cpp_convertert
• add_tuple_constraints_for_solving() : smt_tuple_node_flattener, tuple_iface
• add_type() : typet
• add_type_annotation() : python_annotation< Json >
• add_unmodified_var() : goto_loopst
• add_unmodified_var_to_loop() : loopst
• add_var() : CspMap, value_sett
• add_variable() : global_scope
• add_vars() : value_set_analysist, value_sett
• add_vptr() : clang_cpp_convertert
• add_vtable_type_entry() : clang_cpp_convertert
• add_vtable_type_symbol() : clang_cpp_convertert
• add_vtable_variable_symbols() : clang_cpp_convertert
• add_written_pointee() : loopst
• add_written_pointer() : loopst
• adder_no_overflow() : bitblast_convt
• address_of2t() : address_of2t
• address_of_exprt() : address_of_exprt
• address_of_replace_objects() : goto_convertt
• adjust() : clang_c_adjust, clang_c_adjust_irep2, interval_templatet< T >, python_adjust
• adjust_address_of() : clang_c_adjust, clang_c_adjust_irep2
• adjust_array_subtype() : clang_c_adjust_irep2
• adjust_assign() : clang_c_adjust
• adjust_base_to_derived() : clang_c_adjust, clang_c_adjust_irep2
• adjust_before_operands() : clang_c_adjust_irep2, clang_cpp_adjust_irep2
• adjust_binary_arith_operands() : clang_c_adjust_irep2
• adjust_boolean_operands() : clang_c_adjust_irep2
• adjust_builtin_va_arg() : clang_c_adjust
• adjust_call_argument() : clang_c_adjust
• adjust_call_arguments() : clang_c_adjust_irep2
• adjust_call_callee() : clang_c_adjust_irep2
• adjust_call_signature() : clang_c_adjust_irep2
• adjust_catch() : clang_cpp_adjust
• adjust_code() : clang_c_adjust, clang_cpp_adjust
• adjust_comma() : clang_c_adjust
• adjust_comma_type() : clang_c_adjust_irep2
• adjust_complex_arith() : clang_c_adjust_irep2
• adjust_complex_unary() : clang_c_adjust_irep2
• adjust_compound_assignment() : clang_c_adjust_irep2
• adjust_cpp_catch() : clang_cpp_adjust_irep2
• adjust_cpp_delete() : clang_cpp_adjust, clang_cpp_adjust_irep2
• adjust_cpp_member() : clang_cpp_adjust, clang_cpp_adjust_irep2
• adjust_cpp_pseudo_destructor_call() : clang_cpp_adjust
• adjust_cpp_throw() : clang_cpp_adjust_irep2
• adjust_decl() : clang_c_adjust
• adjust_decl_block() : clang_c_adjust, clang_cpp_adjust
• adjust_decl_init() : clang_c_adjust_irep2
• adjust_dereference() : clang_c_adjust, clang_c_adjust_irep2
• adjust_derived_to_base() : clang_c_adjust, clang_c_adjust_irep2
• adjust_expr() : clang_c_adjust, clang_c_adjust_irep2, python_adjust
• adjust_expr_binary_arithmetic() : clang_c_adjust
• adjust_expr_binary_boolean() : clang_c_adjust
• adjust_expr_rel() : clang_c_adjust
• adjust_expr_shifts() : clang_c_adjust
• adjust_expr_unary_boolean() : clang_c_adjust
• adjust_expr_unary_complex() : clang_c_adjust
• adjust_expression_statement() : clang_c_adjust_irep2
• adjust_float_arith() : clang_c_adjust
• adjust_float_builtin() : clang_c_adjust_irep2
• adjust_for() : clang_c_adjust, clang_cpp_adjust
• adjust_function_call_arguments() : clang_c_adjust, clang_cpp_adjust
• adjust_function_designators() : clang_c_adjust_irep2
• adjust_if() : clang_c_adjust
• adjust_if_expr() : clang_c_adjust_irep2
• adjust_ifthenelse() : clang_c_adjust, clang_cpp_adjust
• adjust_increment_reference() : clang_c_adjust_irep2
• adjust_index() : clang_c_adjust, clang_c_adjust_irep2
• adjust_init() : clang_c_maint, clang_cpp_maint
• adjust_member() : clang_c_adjust, clang_c_adjust_irep2, clang_cpp_adjust
• adjust_new() : clang_cpp_adjust
• adjust_operands() : clang_c_adjust
• adjust_plain_assignment() : clang_c_adjust_irep2
• adjust_ptr_mem() : clang_c_adjust, clang_c_adjust_irep2
• adjust_reference() : clang_c_adjust, clang_c_adjust_irep2, clang_cpp_adjust, clang_cpp_adjust_irep2
• adjust_relational() : clang_c_adjust_irep2
• adjust_shift_operands() : clang_c_adjust_irep2
• adjust_side_effect() : clang_c_adjust, clang_cpp_adjust
• adjust_side_effect_assign() : clang_cpp_adjust
• adjust_side_effect_assignment() : clang_c_adjust
• adjust_side_effect_function_call() : clang_c_adjust, clang_cpp_adjust
• adjust_side_effect_statement_expression() : clang_c_adjust
• adjust_side_effect_throw() : clang_cpp_adjust
• adjust_sizeof() : clang_c_adjust
• adjust_sole_arms() : clang_c_adjust_irep2, clang_cpp_adjust_irep2
• adjust_special_functions() : clang_c_adjust_irep2
• adjust_statement_condition() : clang_c_adjust_irep2
• adjust_struct() : clang_c_adjust, clang_c_adjust_irep2
• adjust_switch() : clang_c_adjust, clang_cpp_adjust
• adjust_switch_case_ops() : clang_cpp_adjust
• adjust_symbol() : clang_c_adjust, clang_cpp_adjust
• adjust_symbol_type() : clang_c_adjust_irep2, clang_cpp_adjust_irep2
• adjust_type() : clang_c_adjust, python_adjust
• adjust_vector_float_arith() : clang_c_adjust_irep2
• adjust_while() : clang_c_adjust, clang_cpp_adjust
• adjusted() : decimal.Decimal
• adopt_module_signatures() : preprocessor.module_lifecycle_mixin.ModuleLifecycleMixin
• advance_witness_position() : goto_symex_statet
• ai_baset() : ai_baset
• ai_domain_baset() : ai_domain_baset
• ai_simplify() : ai_domain_baset, cse_domaint, interval_domaint
• ai_simplify_lhs() : ai_domain_baset
• ait() : ait< domainT >
• algorithm() : algorithm< T >
• alias_contiguous_ravel() : python_list
• align() : ieee_floatt
• align_call_return_type() : clang_c_adjust_irep2, clang_cpp_adjust_irep2
• align_se_function_call_return_type() : clang_c_adjust, clang_cpp_adjust
• all_of() : preprocessor.check_type_lowering._Lowering
• all_over() : preprocessor.check_type_lowering._Lowering
• all_passed() : property_verdict_tablet
• all_threads_terminal() : execution_statet
• allocate_constructed_object() : python_list
• allocated_obj() : goto_symext::allocated_obj
• allocation() : andersent
• amb() : wrapped_interval
• analyze_args() : execution_statet, goto_symext
• analyze_assign() : execution_statet
• analyze_old_object() : goto_symext
• analyze_read() : execution_statet
• and_exprt() : and_exprt
• andersent() : andersent
• annotate_class_field() : clang_cpp_convertert
• annotate_class_field_access() : clang_cpp_convertert
• annotate_class_method() : clang_cpp_convertert
• annotate_ctor_dtor_rtn_type() : clang_cpp_convertert
• annotate_exception_specification() : clang_c_convertert, clang_cpp_convertert
• annotate_from_call_sites() : python_annotation< Json >
• annotate_implicit_copy_move_ctor_union() : clang_cpp_convertert
• annotate_virtual_overriding_methods() : clang_cpp_convertert
• annotated_value_kind() : python_dict_handler
• annotation_admits_none() : type_utils
• anything_decided() : property_countst
• append() : error_builder, guard2tc, path
• append_from() : element_type_registry
• apply_assignment() : interval_domaint
• apply_assume_less() : interval_domaint
• apply_assume_symbol_truth() : interval_domaint
• apply_callee_summary() : goto_loopst
• apply_code() : value_sett
• apply_contractor() : interval_analysis_ibex_contractor
• apply_format_specification() : string_handler
• apply_ieee754_rdn_enclosure() : ir_ieee_convt
• apply_ieee754_rna_enclosure() : ir_ieee_convt
• apply_ieee754_rne_enclosure() : ir_ieee_convt
• apply_ieee754_rtz_enclosure() : ir_ieee_convt
• apply_ieee754_rup_enclosure() : ir_ieee_convt
• apply_ieee754_semantics() : smt_solver_baset
• apply_intrinsic_unroller() : apply_intrinsic_unroller
• apply_loop_invariants() : esbmc_parseoptionst
• apply_nan_cmp() : ir_ieee_convt
• apply_new_selects() : array_convt
• apply_range_rewrites() : preprocessor.module_rewrite_mixin.ModuleRewriteMixin
• approx_union_with() : interval_templatet< T >, wrapped_interval
• arange_literal() : numpy_call_expr
• argument_assignments() : goto_symext
• argument_identifier() : type_utils
• argument_value() : goto_symext
• arguments() : code_function_callt, code_typet, irept, side_effect_expr_function_callt
• argumentt() : code_typet::argumentt
• arithmetic_right_shift() : interval_templatet< T >, wrapped_interval
• arm_order() : clang_c_adjust_irep2, clang_cpp_adjust_irep2
• array() : array, index_exprt
• array_ast() : array_ast
• array_convt() : array_convt
• array_create() : smt_solver_baset
• array_decl_constructor() : clang_cpp_adjust_irep2
• array_domain_to_width() : smt_solver_baset
• array_iface() : array_iface
• array_init_elem() : array_init_elem
• array_ite() : array_convt
• array_of_exprt() : array_of_exprt
• array_scalar_type() : type_utils
• array_size() : constant_string2t
• array_sym_smt_ast() : array_sym_smt_ast
• array_type2t() : array_type2t
• array_typet() : array_typet
• as_array() : array, table
• as_boolean() : array, table
• as_class_value() : python_converter
• as_date() : array, table
• as_date_time() : array, table
• as_expr() : guard2tc
• as_floating_point() : array, table
• as_integer() : array, table
• as_list() : numpy_nditer
• as_long() : constant_int2t
• as_string() : array, BigInt, c_qualifierst, irep_idt, locationt, printf_formattert, table
• as_table() : array, table
• as_time() : array, table
• as_ulong() : constant_int2t
• ask_solver_question() : runtime_encoded_equationt
• assert_ast() : bitblast_convt, bitwuzla_convt, boolector_convt, cvc5_convt, cvc_convt, mathsat_convt, smt_solver_baset, smtlib_convt, yices_convt, z3_convt
• assert_expr() : smt_convt, smt_solver_baset
• assert_lit() : minisat_convt, sat_iface
• assert_representable_magnitude() : ir_ieee_convt
• assert_symbol_range() : ir_ieee_convt
• assertEqual() : unittest.TestCase
• assertFalse() : unittest.TestCase
• assertGreater() : unittest.TestCase
• assertGreaterEqual() : unittest.TestCase
• assertIn() : unittest.TestCase
• assertion() : code_assertt, goto_symext, symex_target_equationt, symex_targett
• assertion_cache() : assertion_cache
• assertion_coverage() : goto_coveraget
• assertion_message() : goto_symext
• assertIs() : unittest.TestCase
• assertIsNone() : unittest.TestCase
• assertIsNot() : unittest.TestCase
• assertIsNotNone() : unittest.TestCase
• assertLess() : unittest.TestCase
• assertLessEqual() : unittest.TestCase
• assertNotEqual() : unittest.TestCase
• assertNotIn() : unittest.TestCase
• assertTrue() : unittest.TestCase
• assign() : array_ast, array_sym_smt_ast, dynamic_type_handler, element_type_registry, interval_domaint, path, rw_sett, smt_ast, std::char_traits< charT >, tuple_node_smt_ast, value_sett, yices_smt_ast
• assign_from() : element_type_registry
• assign_node() : andersent
• assign_nondet_contract_name() : solidity_convertert
• assign_param_nondet() : solidity_convertert
• assign_params_as_non_det() : assign_params_as_non_det
• assign_rec() : value_sett
• assign_struct_union() : value_sett
• assign_tagged_object() : dynamic_type_handler
• assign_top() : andersent
• assignment() : goto_symex_statet, symex_target_equationt, symex_targett
• assume() : execution_statet, goto_symext, interval_domaint
• assume_assertion() : interval_domaint
• assume_if_ends_path() : goto_convertt
• assume_loop_continues() : goto_symext
• assume_prefix() : ts_enginet
• assume_printf_length() : goto_symext
• assume_printf_range() : goto_symext
• assume_rec() : interval_domaint
• assume_uf_congruence() : goto_symext
• assumption() : code_assumet, symex_target_equationt, symex_targett
• ast() : python_converter
• at() : array, constant_string2t, jimple_modifiers, persistent_map< K, V, Hash >, table
• at_path() : parse_result
• at_step() : transition_systemt
• atexit_may_register() : clang_c_maint
• attach() : formatter
• attribute() : numpy_nditer
• attribute_elem_type() : python_list
• attribute_elem_type_or_any() : python_list
• attributes() : python_class
• automatic() : format_spect
• axiom() : irept
• axis_extent() : python_list
• axis_stride() : python_list