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

- a -

a : arg_struct1, arg_struct1_ui, arg_struct2, arg_struct2_i, arg_struct, arg_struct_c3, arg_struct_d1, arg_struct_d2, arg_struct_f5i2, arg_struct_ffloat, arg_struct_fint, arg_struct_float, arg_struct_fuint, arg_struct_fuintint, arg_struct_fuintt, arg_struct_i_ui_ull_f, arg_struct_intt, arg_struct_iuull, arg_struct_u1, arg_struct_u2, arg_struct_u3, solver_smt_ast< solver_ast >
a_access : irept
a_arguments : typet
a_axiom : irept
a_base_ctor_derived : irept
a_base_name : irept
a_cformat : irept
a_cmt : irept
a_cmt_active : irept
a_cmt_base_name : irept
a_cmt_constant : irept
a_cmt_identifier : irept
a_cmt_size : irept
a_cmt_type : irept
a_cmt_unsigned : irept
a_cmt_volatile : irept
a_cmt_width : irept
a_code : irept
a_column : irept
a_comment : irept
a_comp_name : irept
a_component : irept
a_components : typet
a_cpp_type : irept
a_default : irept
a_derived_this_arg : irept
a_destination : irept
a_dynamic : irept
a_ellipsis : irept
a_end_location : irept
a_event : irept
a_explicit : irept
a_f : typet
a_failed_symbol : irept
a_file : irept
a_file_local : irept
a_flavor : irept
a_from : irept
a_function : irept
a_guard : irept
a_hex_or_oct : irept
a_hide : irept
a_id_class : irept
a_identifier : irept, typet
a_implicit : irept
a_incomplete : irept
a_initialization : irept
a_inlined : irept
a_integer_bits : irept, typet
a_invalid_object : irept
a_is_expression : irept
a_is_extern : irept
a_is_macro : irept
a_is_parameter : irept
a_is_thread_local : irept
a_is_type : irept
a_label : irept
a_lhs : irept
a_line : irept
a_literal : irept
a_location : irept
a_loopid : irept
a_lvalue : irept
a_member_name : irept
a_methods : typet
a_mode : irept
a_module : irept
a_name : irept, typet
a_need_vptr_init : irept
a_object_type : irept
a_pretty_name : irept
a_property : irept
a_reference : irept
a_restricted : irept
a_return_type : typet
a_size : irept, typet
a_statement : irept
a_static_lifetime : irept
a_tag : irept
a_theorem : irept
a_to : irept
a_type_id : irept
a_user_provided : irept
a_value : exprt
a_width : irept, typet
a_zero_initializer : irept
abs : exprt
absolute_path : solidity_convertert
action : waypoint
active : cudaDevicesList
active_frame_enforcer : goto_loop_invariantt
active_loop_assigns : goto_loop_invariantt
active_thread : execution_statet
added : parser.nested_class_imports._QualifyImportedNestedClasses
addr : _ESBMC_Mapping, mapping_t
addr_space_arr_type : smt_solver_baset
addr_space_data : smt_solver_baset
addr_space_sym_num : smt_solver_baset
addr_space_type : smt_solver_baset
addr_t : solidity_convertert
address : smt_solver_baset::ptr_flatten_entry
address_taken : goto_loopst::function_summaryt
address_taken_globals : reachability_treet
address_taken_labels : clang_c_convertert
address_taken_locals : reachability_treet
address_width : configt::ansi_ct
addrof : exprt
addrp_t : solidity_convertert
advisories : goto_check_dead_store
algorithms : bmct
alias : numpy_nditer_state
alias_exemption : code_contractst::ptr_deref_snapshot_t
aliases : preprocessor.dotted_imports._Rename
alignment : object_descriptor2t, struct_type2t
all_claims : goto_coveraget
alloc_guard : goto_symext::allocated_obj
alloc_size_arr_name : goto_symext
alloca_objects : goto_symex_statet::framet
allocators : andersent
alloctype : sideeffect2t
allowed_types : exception_specificationt
anon_symbol : clang_c_convertert
ansi_c : configt
any_indirect_write : reachability_treet
api_key : llm::configt
apply_time : interval_analysis_ibex_contractor
arch : configt::triple
args : cmdlinet, configt, smt_solver_baset::uf_ackermann_entry, smtlib_smt_ast, subprocess.CompletedProcess, table
args_reliable : printf_formattert
argument : exprt
argument_base_names : code_type2t
argument_defaults : code_type2t
argument_names : code_type2t
arguments : andersent::indirect_callt, code_type2t, sideeffect2t, uninterpreted_func2t
argv : sys._FloatInfo
arith_fb : RungElement
arith_IN1 : LdIRNode
arith_IN2 : LdIRNode
arith_kind : LdIRNode
arith_OUT : LdIRNode
arms : clang_c_adjust_irep2, preprocessor.function_value_dispatch._Dispatch
arr1_id : array_convt::array_equality
arr1_update_num : array_convt::array_equality
arr2_id : array_convt::array_equality
arr2_update_num : array_convt::array_equality
arr_add_type : code_contractst::arr_elem_snapshot_t
arr_ptr : code_contractst::arr_elem_snapshot_t
array : numpy_nditer_operand
array_api : smt_solver_baset
array_conv : smt_tuple_node_flattener
array_ctx : array_ast
array_disqualified : symex_slicet
array_elem_targets : frame_enforcert::classified_assignst
array_equalities : array_convt
array_fields : array_ast
array_id : array_convt::array_of_val_rec, array_convt::touched_array
array_index : code_contractst::ptr_deref_snapshot_t
array_indexes : array_convt
array_of_vals : array_convt
array_relations : array_convt
array_selects : array_convt
array_size : array_type2t, vector_type2t
array_subtypes : array_convt
array_update_num : array_ast
array_updates : array_convt
array_valuation : array_convt
arrayof : exprt
art1 : goto_symext
assertions : goto_checkt, goto_program_dereferencet
assigns_targets : goto_programt::instructiont::loop_contract_datat
assumption : edget
assumption_resultfunction : edget
assumption_scope : edget
assumptions : goto_program_dereferencet
AST : clang_c_convertert, clang_c_languaget, jimple_converter
ast : smt_solver_baset::smt_cache_entryt, symtab_entryt
ast_nodes : pattern_checker
ASTContext : clang_c_convertert
asyncEngineCount : cudaDeviceProp
at_identifier : jimple_identity
atexit_func : atexit_key
atomic_numbers : execution_statet
attr_list_element_classes : preprocessor.module_rewrite_mixin.ModuleRewriteMixin, preprocessor.preprocessor_state_mixin.PreprocessorStateMixin
attributes : xmlt
auto_deallocd : goto_symext::allocated_obj
aux_counter : solidity_convertert
available_expressions : cse_domaint, goto_cse
axes : numpy_nditer_operand, numpy_nditer_state, python_list::strided_view_desc