Here is a list of all variables 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

_

- 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
• accounted_flags : scope_treet::declaration_statet
• accumulator : statement_list_typecheckt
• active : index_range_iteratort, value_range_iteratort
• active_loops : framet
• add : smt_bit_vector_theoryt
• addr_of_contract_write_set : dfcc_wrapper_programt
• addr_of_ensures_write_set : dfcc_wrapper_programt
• addr_of_ptr_pred_ctx : dfcc_wrapper_programt
• addr_of_requires_write_set : dfcc_wrapper_programt
• addr_of_write_set_var : dfcc_loop_infot
• address : gdb_apit::pointer_valuet, java_bytecode_parse_treet::instructiont, propertyt::trace_updatet, shadow_memory_statet::shadowed_addresst
• address_fields : shadow_memory_statet
• address_map : partial_order_concurrencyt
• address_of_exprs : axiomst
• address_string : gdb_apit::memory_addresst
• address_taken : axiomst, remove_function_pointerst
• adjust_function : goto_inlinet
• 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
• aligning : help_formattert::statet
• alignment : ansi_c_convert_typet, configt::ansi_ct
• all_in_lexical_loop_form : lexical_loops_templatet< P, T, C >
• all_nondet : nondet_volatilet
• all_rounding_modes : constants_evaluator
• allocate_objects : gdb_value_extractort, java_object_factoryt, object_creation_infot, symbol_factoryt
• allocated : __CPROVER_contracts_write_set_t
• allocated_memory : gdb_apit
• allocations : goto_check_ct
• allow_allocate : __CPROVER_contracts_write_set_t
• allow_deallocate : __CPROVER_contracts_write_set_t
• allow_pointer_unsoundness : symex_configt
• allow_recursive_calls : dfcct
• alphabet : trace_automatont
• already_typechecked : java_bytecode_typecheckt
• always_flush : console_message_handlert, ui_message_handlert
• annotation : state_encodingt
• 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
• ansi_c_parser : cpp_token_buffert
• ansi_c_scanner_state : cpp_token_buffert
• any_superclass_has_clinit_method : java_bytecode_convert_methodt
• appends : java_bytecode_parse_treet::methodt::stack_map_table_entryt
• applications : functionst::function_infot
• apply_loop_contracts : loop_contract_configt
• approximations : bv_refinementt
• arbitrary : nfat< T >::transitiont
• arch : configt::ansi_ct
• arch_map : gcc_modet
• arg : goto_cc_cmdlinet::argt, string_creation_builtin_functiont
• argc : cprover_parse_optionst
• 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
• argv : cprover_parse_optionst
• arithmetic_shift_right : smt_bit_vector_theoryt
• arity : non_leaf_enumeratort
• 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_sequence : smt2_incremental_decision_proceduret
• 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_ensures_ctx : __CPROVER_contracts_write_set_t
• assert_no_exceptions_thrown : java_bytecode_convert_methodt, java_bytecode_language_optionst
• assert_requires_ctx : __CPROVER_contracts_write_set_t
• assert_uncaught_exceptions : java_bytecode_language_optionst
• assertion_stats : solver_hardnesst
• assertions : c_wranglert::functiont, goto_check_ct
• assign_location : liveness_contextt
• assignable_builtin_names : dfcc_libraryt
• 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 : contract_clausest, dfcc_loop_infot, havoc_utils_can_forward_propagatet, havoc_utilst, loop_contracts_clauset
• assigns_map : cegis_verifiert, enumerative_loop_contracts_synthesizert
• assume_ensures_ctx : __CPROVER_contracts_write_set_t
• 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
• assume_requires_ctx : __CPROVER_contracts_write_set_t
• assumption_stack : prop_conv_solvert
• assumptions : 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
• auxiliaries : framet
• auxiliaries_set : framet
• available : single_value_index_ranget, single_value_value_ranget
• axioms : string_refinementt