- a -
- abstract_nodes : __CPROVER_jsa_abstract_heap
- abstract_ranges : __CPROVER_jsa_abstract_heap
- abstract_state : variable_sensitivity_domaint
- abstraction_types_map : string_abstractiont
- accelerate_limit : acceleratet
- accelerated_paths : disjunctive_polynomial_accelerationt, sat_path_enumeratort
- accelerator : subsumed_patht
- accept_states : automatont
- accumulator : statement_list_typecheckt
- active : index_range_iteratort, value_range_iteratort
- active_loops : framet
- add : smt_bit_vector_theoryt
- add_safety_assertion : remove_function_pointerst
- address : gdb_apit::pointer_valuet, java_bytecode_parse_treet::instructiont
- address_map : partial_order_concurrencyt
- address_string : gdb_apit::memory_addresst
- address_taken : remove_function_pointerst
- adjust_function : goto_inlinet
- adler : mz_stream_s
- affected_by_delay_set : shared_bufferst
- alias : c_storage_spect
- aliases : escape_domaint, global_may_alias_domaint, local_may_aliast::loc_infot
- aligned : ansi_c_convert_typet
- alignment : ansi_c_convert_typet, configt::ansi_ct
- all_in_lexical_loop_form : lexical_loops_templatet< P, T >
- all_nondet : nondet_volatilet
- all_rounding_modes : constants_evaluator
- allocate_objects : gdb_value_extractort, java_object_factoryt, object_creation_infot, symbol_factoryt
- allocated_memory : gdb_apit
- allocations : goto_check_ct
- allow_pointer_unsoundness : symex_configt
- alphabet : trace_automatont
- already_typechecked : java_bytecode_typecheckt, jsil_typecheckt
- always_flush : console_message_handlert, ui_message_handlert
- annotations : java_bytecode_parse_treet::classt, java_bytecode_parse_treet::membert, java_qualifierst
- anon_count : new_scopet
- anon_counter : ansi_c_scopet, cpp_typecheckt
- ansi_c : configt
- any_superclass_has_clinit_method : java_bytecode_convert_methodt
- appends : java_bytecode_parse_treet::methodt::stack_map_table_entryt
- applications : functionst::function_infot
- approximations : bv_refinementt
- arbitrary : nfat< T >::transitiont
- arch : configt::ansi_ct
- arch_map : gcc_modet
- arg : goto_cc_cmdlinet::argt, string_creation_builtin_functiont
- args : cmdlinet, gdb_apit, java_bytecode_parse_treet::instructiont, string_builtin_function_with_no_evalt, string_insertion_builtin_functiont, string_test_builtin_functiont
- argument_count : symex_target_equationt
- arguments_may_be_equal : recursive_initialization_configt
- array : acceleration_utilst::polynomial_array_assignmentt, jsont, polynomial_acceleratort::polynomial_array_assignment
- array_abstract_type : vsd_configt
- array_comprehension_args : arrayst
- array_constraint_count : arrayst
- array_equalities : arrayst
- array_length : object_creation_referencet
- array_name_to_associated_array_size_variable : recursive_initialization_configt
- array_option_mappings : vsd_configt
- array_option_size_mappings : vsd_configt
- array_pool : string_builtin_functiont, string_constraint_generatort
- array_symbol : concurrency_instrumentationt::shared_vart, concurrency_instrumentationt::thread_local_vart
- arrays : arrayst
- arrays_of_pointers : array_poolt
- asm_block_following : ansi_c_parsert, cpp_parsert
- asm_label : c_storage_spect
- asm_label_map : c_typecheck_baset
- assert_no_exceptions_thrown : java_bytecode_convert_methodt, java_bytecode_language_optionst
- assert_uncaught_exceptions : java_bytecode_language_optionst
- assertion : goto_check_ct::conditiont, goto_check_javat::conditiont
- assertion_stats : solver_hardnesst
- assertions : c_wranglert::functiont, goto_check_ct, goto_check_javat
- assign_location : liveness_contextt
- assigned : pbs_dimacs_cnft
- assignment : cnf_clause_list_assignmentt, qbf_qube_coret
- assignment_type : goto_trace_stept, SSA_stept, symex_assignt
- assignments : gdb_value_extractort
- assigns : ansi_c_convert_typet, havoc_utils_is_constantt, havoc_utilst
- assume_inputs_integral : java_object_factory_parameterst
- assume_inputs_interval : java_object_factory_parameterst
- assume_inputs_non_null : java_bytecode_language_optionst
- assume_non_null : java_simple_method_stubst
- assumption_stack : prop_conv_solvert
- assumptions : external_satt, satcheck_cadicalt, satcheck_glucose_baset< T >, satcheck_ipasirt, satcheck_lingelingt, satcheck_minisat1_baset, satcheck_minisat2_baset< T >, satcheck_picosatt, smt2_convt
- atomic_section_counter : goto_symext
- atomic_section_id : goto_statet, goto_symex_statet::threadt, SSA_stept
- attribute_bootstrapmethods_read : java_bytecode_parse_treet::classt
- attributes : xmlt
- avail_in : mz_stream_s
- avail_out : mz_stream_s
- available : single_value_index_ranget, single_value_value_ranget
- axioms : string_refinementt