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

_

- v -

• v : d_leaft< keyT, valueT, equalT >, fixedbvt, range_spect
• v_major : gcc_versiont, ms_cl_versiont
• v_minor : gcc_versiont, ms_cl_versiont
• v_patchlevel : gcc_versiont
• va_list_expr : goto_program2codet
• valid : gdb_apit::pointer_valuet
• validate_goto_model : compilet
• validate_goto_model_enabled : api_optionst
• value : __CPROVER_jsa_concrete_node, acceleration_utilst::polynomial_array_assignmentt, bv_arithmetict, c_definest::definet, constant_abstract_valuet, eval_index_resultt, expr_queryt< T >, format_tokent, goto_program2codet::caset, interpretert::function_assignmentt, interpretert::memory_cellt, java_bytecode_parse_treet::annotationt::element_value_pairt, jsont, lazyt< valuet >, lispexprt, polynomial_acceleratort::polynomial_array_assignment, propertyt::trace_updatet, restrictt, single_value_index_ranget, single_value_value_ranget, smt2_convt::identifiert, symbolt, tvt, value_set_dereferencet::valuet
• value_abstract_type : vsd_configt
• value_map : points_tot, sparse_bitvector_analysist< V >
• value_option_mappings : vsd_configt
• value_ref : __CPROVER_jsa_abstract_node
• value_set : dense_integer_mapt< K, V, KeyToDenseInteger >, goto_statet, postconditiont, simplify_expr_with_value_sett, value_set_domain_fit, value_set_domain_templatet< VST >
• value_sets : _rw_set_loct, concurrency_instrumentationt, goto_program_dereferencet, invariant_propagationt, invariant_sett, preconditiont, reaching_definitions_analysist, rw_range_set_value_sett, rw_set_functiont
• value_stack : constant_pointer_abstract_objectt
• values : abstract_object_sett, cmdlinet::optiont, constant_propagator_domaint, gdb_value_extractort, rd_range_domaint, sparse_bitvector_analysist< V >, value_set_abstract_objectt, value_set_fit, value_set_index_ranget, value_set_pointer_abstract_objectt, value_set_value_ranget, value_sett
• var : java_bytecode_convert_methodt::local_variable_with_holest, mini_bdd_mgrt::reverse_keyt, mini_bdd_nodet, monomialt::termt, restrictt
• var_cnt : memory_model_baset
• var_constant : statement_list_parse_treet::tia_modulet
• var_inout : statement_list_parse_treet::tia_modulet
• var_input : statement_list_parse_treet::tia_modulet
• var_map : shared_bufferst
• var_no : qdimacs_cnft::quantifiert
• var_output : statement_list_parse_treet::tia_modulet
• var_static : statement_list_parse_treet::function_blockt
• var_table : mini_bdd_mgrt
• var_temp : statement_list_parse_treet::tia_modulet
• var_to_instr : instrumentert
• variable : abstract_eventt, statement_list_parse_treet::var_declarationt
• variable_map : qdimacs_coret
• variable_models : nondet_volatilet
• variable_sensitivity_dependence_domain_factoryt : variable_sensitivity_dependence_grapht
• variable_sensitivity_dependence_domaint : variable_sensitivity_dependence_grapht
• variable_sensitivity_dependence_grapht : location_sensitive_storaget
• variables : java_bytecode_convert_methodt, solver_hardnesst::sat_hardnesst
• variables_that_hold_array_sizes : recursive_initialization_configt
• variables_to_havoc : memory_snapshot_harness_generatort
• vector_memory_usage : string_container_statisticst
• vector_size : ansi_c_convert_typet
• verbose : axiomst, solver_optionst, solver_progresst
• verbosity : message_handlert
• verilog : configt
• version : statement_list_parse_treet::tia_modulet
• violated_predicate : cext
• violation_location : cext
• violation_transformations : complexity_limitert
• violation_type : cext
• visited : grapht< N >::tarjant, visited_nodet< E >
• visited_nodes : event_grapht::graph_pensieve_explorert
• vla_permitted : designatort::entryt